Author:
Aravantinos Vincent,Caferra Ricardo,Peltier Nicolas
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Aravantinos, V., Caferra, R., Peltier, N.: A DPLL Proof Procedure For Propositional Iterated Schemata. In: Proceedings of the 21st European Summer School in Logic, Language and Information (Worskhop Structures and Deduction) (2009)
2. Lecture Notes in Computer Science;V. Aravantinos,2009
3. Lecture Notes in Computer Science;D. Baelde,2009
4. Bradfield, J., Stirling, C.: Modal Mu-Calculi. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, vol. 3, pp. 721–756. Elsevier Science Inc., New York (2007)
5. Lecture Notes in Artificial Intelligence;J. Brotherston,2005
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献