A two‐dimensional metric temporal logic.

Autor:	Baratella, Stefano1 (AUTHOR) stefano.baratella@unitn.it, Masini, Andrea2 (AUTHOR) andrea.masini@univr.it
Zdroj:	Mathematical Logic Quarterly. Mar2020, Vol. 66 Issue 1, p7-19. 13p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.