Tense and temporal reference hybrid temporal logic
- Ponte, M.
- Vázquez, M.
ISSN: 0024-5836
Argitalpen urtea: 2012
Alea: 55
Zenbakia: 220
Orrialdeak: 555-578
Mota: Artikulua
ISSN: 0024-5836
Argitalpen urtea: 2012
Alea: 55
Zenbakia: 220
Orrialdeak: 555-578
Mota: Artikulua