Skip navigation
The Australian National University

A history-based theorem prover for intuitionistic propositional logic using global caching: InthistGC system description

Citation

Gore, R, Thomson, J & Wu, J 2014, 'A history-based theorem prover for intuitionistic propositional logic using global caching: InthistGC system description', 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. 262-268.

Year

2014

ANU Authors

Fields of Research

  • Computer System Architecture
  • Computation Theory And Mathematics
  • Computational Logic And Formal Languages

Updated:  19 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers