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
2012ANU Authors
Fields of Research
- Analysis Of Algorithms And Complexity
- Networking And Communications