Skip navigation
The Australian National University

optimal and Cut-Free Tableaux for propositional dynamic logic with converse

Citation

Gore, R & Widmann, F 2010, 'Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse', International Joint Conference on Automated Reasoning (IJCAR 2010), Conference Organising Committee, Scotland.

Year

2010

ANU Authors

Field of Research

  • Computation Theory And Mathematics

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers