关注
Shantanu Kulkarni
Shantanu Kulkarni
IIT Bombay
在 iitb.ac.in 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications
B Adsul, P Gastin, S Kulkarni, P Weil
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer …, 2024
12024
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
B Adsul, P Gastin, S Kulkarni, P Weil
arXiv preprint arXiv:2405.11308, 2024
12024
系统目前无法执行此操作，请稍后再试。
文章 1–2