Tense and temporal reference hybrid temporal logic

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

ISSN: 0024-5836

Argitalpen urtea: 2012

Alea: 55

Zenbakia: 220

Orrialdeak: 555-578

Mota: Artikulua