BDD-Based Automated Reasoni... - Researchers

BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics

Citation

Gore, R & Thomson. 'BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics', Lecture Notes in Computer Science (LNCS), vol. 7364, pp. 301-315, 2012.

Year

2012

ANU Authors

Emeritus Professor Rajeev Gore

Fields of Research

Analysis Of Algorithms And Complexity
Networking And Communications

Updated: 23 January 2021 / Responsible Officer: Director (Research Services Division) / Page Contact: Researchers