Tense and temporal reference hybrid temporal logic

  1. Ponte, M.
  2. Vázquez, M.
Zeitschrift:
Logique et Analyse

ISSN: 0024-5836

Datum der Publikation: 2012

Ausgabe: 55

Nummer: 220

Seiten: 555-578

Art: Artikel

GOOGLE SCHOLAR
Datenquelle: Scopus