A hierarchy of temporal logics with past

Autor:	F. Laroussinie, Ph. Schnoebelen
Rok vydání:	1994
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540577850
DOI:	10.1007/3-540-57785-8_130
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2161a9d06e270e664e9fd965a90cf9d8 https://doi.org/10.1007/3-540-57785-8_130 Zobrazit plný text záznamu