Author:
Baumgartner Peter,Tinelli Cesare
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Bachmair, L., Ganzinger, H.: Equational Reasoning in Saturation-Based Theorem Proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications, Foundations. Calculi and Refinements, vol. I, pp. 353–398. Kluwer, Dordrecht (1998)
2. Lecture Notes in Computer Science;P. Baumgartner,2000
3. Baumgartner, P., Fuchs, A., Tinelli, C.: Implementing the Model Evolution Calculus. In: International Journal on Artificial Intelligence Tools, IJAIT (2005) (to appear)
4. Lecture Notes in Artificial Intelligence;P. Baumgartner,2003
5. Baumgartner, P., Tinelli, C.: The Model Evolution Calculus with Equality (2005), http://www.mpi-sb.mpg.de/~baumgart/publications/MEE.pdf
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献