Hierarchic Superposition with Weak Abstraction

Citation

Baumgartner, P & Waldmann, U 2013, 'Hierarchic Superposition with Weak Abstraction', 24th International Conference on Automated Deduction CADE-24, ed. Goebel, Randy, Wahlster, Wolfgang, Tanaka, Yuzuru, Springer, USA, pp. 39-57.

Year

2013

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  11 August 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers