P. Baumgartner and C. Tinelli. The Model Evolution Calculus. In F. Baader, editor, Proc. CADE-19, number 2741 in LNAI, pages 350--364. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Darwin: A Theorem Prover for the Model Evolution Calculus - Baumgartner, Fuchs, Tinelli (2004) Self-citation (Baumgartner Tinelli) (Correct)
No context found.
Peter Baumgartner and Cesare Tinelli. The Model Evolution Calculus. Fachberichte Informatik 1--2003.
Darwin: A Theorem Prover for the Model Evolution Calculus - Baumgartner, Fuchs, Tinelli (2004) Self-citation (Baumgartner Tinelli) (Correct)
No context found.
Peter Baumgartner and Cesare Tinelli. The Model Evolution Calculus. In Franz Baader, editor, CADE-19 -- The 19th International Conference on Automated Deduction, volume 2741 of Lecture Notes in Artificial Intelligence, pages 350--364. Springer, 2003.
On Efficiently Integrating Boolean and Theory-Specific Solving.. - Sebastiani (2004) (Correct)
No context found.
P. Baumgartner and C. Tinelli. The Model Evolution Calculus. In F. Baader, editor, Proc. CADE-19, number 2741 in LNAI, pages 350--364. Springer, 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC