Model Evolution with Equality Modulo Built-in Theories
Citation
Baumgartner, P & Tinelli, C 2011, 'Model Evolution with Equality Modulo Built-in Theories', International Conference on Automated Deduction (CADE 2011), Springer, Verlin Heidelberg, pp. 85-100.Year
2011ANU Authors
Field of Research
- Computational Logic And Formal Languages