A Combined Superposition and Model Evolution Calculus

Citation

Baumgartner, P & Waldmann, U 2011, 'A Combined Superposition and Model Evolution Calculus', Journal of Automated Reasoning, vol. 47, no. 2, pp. 191-227.

Year

2011

ANU Authors

Field of Research

  • Calculus Of Variations, Systems Theory And Control Theory

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