Finite Quantification in Hierarchic Theorem Proving

Citation

Baumgartner, P, Bax, J & Waldmann, U 2014, 'Finite Quantification in Hierarchic Theorem Proving', 7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, ed. S Demri, D Kapur, C Weidenbach, Springer Verlag, Switzerland, pp. 152-167.

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers