Skip navigation
The Australian National University

An Optimal On-the-fly Tableau-based Decision Procedure for PDL satisfiability

Citation

Gore, R & Widmann, F 2009, 'An Optimal On-the-fly Tableau-based Decision Procedure for PDL satisfiability', International Conference on Automated Deduction (CADE 2009), ed. R A Schmidt, Springer, berlin, pp. 437-452.

Year

2009

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

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