Tense and temporal reference hybrid temporal logic
- Ponte, M.
- Vázquez, M.
ISSN: 0024-5836
Año de publicación: 2012
Volumen: 55
Número: 220
Páginas: 555-578
Tipo: Artículo
ISSN: 0024-5836
Año de publicación: 2012
Volumen: 55
Número: 220
Páginas: 555-578
Tipo: Artículo