An Improved BDD Method for ... - Researchers

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

Emeritus Professor Rajeev Gore

Updated: 19 April 2024 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers