Tense and temporal reference hybrid temporal logic
- Ponte, M.
- Vázquez, M.
ISSN: 0024-5836
Any de publicació: 2012
Volum: 55
Número: 220
Pàgines: 555-578
Tipus: Article
ISSN: 0024-5836
Any de publicació: 2012
Volum: 55
Número: 220
Pàgines: 555-578
Tipus: Article