Skip navigation
The Australian National University

One-pass tableaux for computation tree logic


Abate, P, Gore, R & Widmann, F 2007, 'One-pass tableaux for computation tree logic', International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2007), ed. Nachum Dershowitz, Andrei Voronkov, Springer, USA, pp. 32-46.



ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified
  • Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)

Updated:  22 June 2018 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers