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

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

Updated:  27 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers