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

Professor Rajeev Gore

Fields of Research

Analysis Of Algorithms And Complexity
Networking And Communications

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