3 citations found. Retrieving documents...
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