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

2011

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers