Publisher
Springer International Publishing
Reference22 articles.
1. Aczel, P.: An introduction to inductive definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics, vol. 90, pp. 739–782. Elsevier (1977)
2. Lecture Notes in Computer Science;V. Aravantinos,2009
3. Lecture Notes in Computer Science;V. Aravantinos,2010
4. Aravantinos, V., Caferra, R., Peltier, N.: Decidability and undecidability results for propositional schemata. J. Artif. Int. Res. 40(1), 599–656 (2011)
5. Aravantinos, V., Caferra, R., Peltier, N.: Linear temporal logic and propositional schemata, back and forth. In: Proceedings of the 2011 Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, pp. 80–87. IEEE Computer Society, Washington, DC (2011)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献