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

Updated:  17 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers