Beagle - A Hierarchic Superposition Theorem Prover

Citation

Baumgartner, P, Bax, J & Waldmann, U 2015, 'Beagle - A Hierarchic Superposition Theorem Prover', 25th International Conference on Automated Deduction CADE 2015, ed. Amy P. Felty, Aart Middeldorp, Springer International Publishing AG, Switzerland, pp. 367-377.

Year

2015

ANU Authors

Field of Research

  • Coding And Information Theory

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