One-pass tableaux for computation tree logic
Citation
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.
Year
2007
Fields of Research
- Computational Logic And Formal Languages
- Computation Theory And Mathematics Not Elsewhere Classified
- Combinatorics And Discrete Mathematics (Excl. Physical Combinatorics)