Found 3 Documents (Results 1–3)
One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\). (English) Zbl 1535.03098
One-pass and tree-shaped tableau systems for \(\mathrm{TPTL}\) and \(\mathrm{TPTL}_b+\mathrm{Past}\). (English) Zbl 1524.03015
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 176-190 (2018).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (1)
Author
- Geatti, Luca (3)
- Gigante, Nicola (3)
- Montanari, Angelo (3)
- Reynolds, Mark Alexander (2)
- Venturato, Gabriele (1)
Serial
- Inf. Comput. (1)
- J. Autom. Reasoning (1)