Model Evolution with equality - Revised and Implemented

Citation

Baumgartner, P, Pelzer, B & Tinelli, C 2012, 'Model Evolution with equality - Revised and Implemented', Journal of Symbolic Computation, vol. 47, no. 9, pp. 1011-1045.

Year

2012

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  28 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers