Author:
Gurevich Yuri,Shelah Saharon
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On-the-Fly Model Checking with Neural MCTS;Lecture Notes in Computer Science;2022
2. Incremental whole-program analysis in Datalog with lattices;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Towards a unified proof framework for automated fixpoint reasoning using matching logic;Proceedings of the ACM on Programming Languages;2020-11-13
4. Capturing Polynomial Time on Interval Graphs;2010 25th Annual IEEE Symposium on Logic in Computer Science;2010-07
5. A Logic Based Approach to the Static Analysis of Production Systems;Web Reasoning and Rule Systems;2009