Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference29 articles.
1. On the use of the constructive omega-rule within automated deduction.;Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR 1992),1992
2. A proof-theoretic investigation of a logic of positions.;Annals of Pure and Applied Logic,2003
3. An approach to infinitary temporal proof theory.;Archive for Mathematical Logic,2004
4. Natural deduction calculus for computation tree logic.;Proceedings of the 2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006),2006
5. Cut-free sequent systems for temporal logic.;Journal of Logic and Algebraic Programming,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献