Author:
Artemov Sergei,Nerode Anil
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Faster Tableau for CTL*;Electronic Proceedings in Theoretical Computer Science;2013-07-16
2. A Graph Calculus for Predicate Logic;Electronic Proceedings in Theoretical Computer Science;2013-03-28
3. On Graph Refutation for Relational Inclusions;Electronic Proceedings in Theoretical Computer Science;2012-03-24