Tense and temporal reference hybrid temporal logic
- Ponte, M.
- Vázquez, M.
ISSN: 0024-5836
Ano de publicación: 2012
Volume: 55
Número: 220
Páxinas: 555-578
Tipo: Artigo
ISSN: 0024-5836
Ano de publicación: 2012
Volume: 55
Número: 220
Páxinas: 555-578
Tipo: Artigo