Tense and temporal reference hybrid temporal logic
- Ponte, M.
- Vázquez, M.
ISSN: 0024-5836
Year of publication: 2012
Volume: 55
Issue: 220
Pages: 555-578
Type: Article
ISSN: 0024-5836
Year of publication: 2012
Volume: 55
Issue: 220
Pages: 555-578
Type: Article