MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Implementing the Model Evolution Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Implementing the Model Evolution Calculus
by Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
… Tools c○ World Scientific Publishing Company Implementing the Model Evolution Calculus PETER BAUMGARTNER…
Add To MetaCart

Darwin: A Theorem Prover for the Model Evolution Calculus
by Peter Baumgartner, Alexander Fuchs, Universität Koblenz-landau, Fachbereich Informatik, Cesare Tinelli, Baumgartner Fuchs Tinelli — 2004
…, IA 52242, USA Darwin is the first implementation of the Model Evolution Calculus by Baumgartner…
Cited by 6 (2 self) – Add To MetaCart

Institut für Theoretische Informatik Automated Theorem Proving in Interactive Proof Construction
by Christoph Sticksel, Deutsche Zusammenfassung, Diese Arbeit Verfolgte Das Ziel, Den Theorembeweiser Darwin Als Entscheidungsprozedur
… is the application of the first-order theorem prover DARWIN, the implementation of the Model Evolution calculus…
Add To MetaCart

Computing finite models by reduction to function-free clause logic
by Peter Baumgartner, Alexander Fuchs, Hans De Nivelle, Cesare Tinelli — 2007 — Journal of Applied Logic
… it is integrated into the Darwin prover, our implementation of the Model Evolution calculus. The results…
Cited by 7 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB