Dual Systems of Tableaux and Sequents for PLTL
- Gaintzarain, J.
- Hermo, M.
- Lucio, P.
- Navarro, M.
- Orejas, F.
ISSN: 1567-8326
Année de publication: 2009
Volumen: 78
Número: 8
Pages: 701-722
Type: Article
ISSN: 1567-8326
Année de publication: 2009
Volumen: 78
Número: 8
Pages: 701-722
Type: Article