Author:
Fermüller Christian G.,Pichler Reinhard
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Baumgartner, P., Fuchs, A., Tinelli, C.: Darwin: A theorem prover for the model evolution calculus. In: Proceedings of ESFOR 2004, Elsevier, Amsterdam (2004)
2. Baumgartner, P., Furbach, U., Gross-Hardt, M., Sinner, A.: Living Book – Deduction, Slicing, and Interaction. Journal of Automated Reasoning 32(3), 259–286 (2004)
3. Baumgartner, P., Gross-Hardt, M., Sinner, A.: Living Book – Deduction, Slicing, and Interaction. Fachberichte Informatik, Universität Koblenz Landau, vol. 2 (2003)
4. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
5. Baumgartner, P., Tinelli, C.: The model evolution calculus. Fachberichte Informatik, Universität Koblenz Landau. vol.1 (2003) In: Extended Version of [4] (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beyond the elementary representations of program invariants over algebraic data types;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. System Description: SPASS-FD;Lecture Notes in Computer Science;2011
3. Constructing infinite models represented by tree automata;Annals of Mathematics and Artificial Intelligence;2009-05
4. The model evolution calculus as a first-order DPLL method;Artificial Intelligence;2008-03
5. Model Representation over Finite and Infinite Signatures;Logics in Artificial Intelligence;2006