Skip navigation
The Australian National University

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description

Citation

Gore, R & Thomson, J 2013, 'An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description', 24th International Conference on Automated Deduction CADE-24, ed. Maria Paola Bonacina, Springer, LNCS Voume 7898 pp. 275-281.

Year

2013

ANU Authors

Field of Research

  • Computation Theory And Mathematics

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