Funder
Academy of Finland
Finnish Academy of Science and Letters
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference31 articles.
1. Modal Logic;Blackburn,2001
2. Dependency quantified horn formulas: models and complexity;Bubeck,2006
3. Models and quantifier elimination for quantified horn formulas;Bubeck;Discrete Appl. Math.,2008
4. The Boolean formula value problem is in alogtime;Buss,1987
5. Automatic verification of finite-state concurrent systems using temporal logic specifications;Clarke;ACM Trans. Program. Lang. Syst.,1986
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献