Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2006 | Implementing the Model Evolution Calculus In: International Journal on Artificial Intelligence Tools [15], 21-52 | Baumgartner:etal:Darwin:IJAIT:2006 | |||||
2004 | Darwin: A Theorem Prover for the Model Evolution Calculus In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24 | Baumgartner:etal:Darwin:ESFOR:2004 | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|