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.



Fields of Research

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

Updated:  13 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers