Skip navigation
The Australian National University

And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL

Citation

Gore, R 2014, 'And-or tableaux for fixpoint logics with converse: LTL, CTL, PDL and CPDL', 7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, ed. S Demri, D Kapur, C Weidenbach, Springer Verlag, Switzerland, pp. 26-45.

Year

2014

ANU Authors

Field of Research

  • Computation Theory And Mathematics

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