Superposition and Model Evolution Combined

Citation

Baumgartner, P & Waldmann, U 2009, 'Superposition and Model Evolution Combined', International Conference on Automated Deduction (CADE 2009), ed. R A Schmidt, Springer, berlin, pp. 17-34.

Year

2009

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  26 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers