Skip navigation
The Australian National University

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

Fields of Research

  • Analysis Of Algorithms And Complexity
  • Networking And Communications

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