Fixed Point Logics and Definable Topological Properties

Počet záznamů: 1

1.

SYSNO	0563276
Název	Fixed Point Logics and Definable Topological Properties
Tvůrce(i)	Fernández-Duque, David (UIVT-O)_{SAI, ORCID, RID} Gougeon, P. (FR)
Korespondující/senior	Gougeon, P. - Korespondující autor
Zdroj.dok.	Logic, Language, Information, and Computation. Roč. 13468 (2022), s. 36-52. - Cham : Springer, 2022 / Ciabattoni A. ; Pimentel E. ; de Queiroz R. J. G. B
Edice	Lecture Notes in Computer Science
Konference	WoLLIC 2022: International Workshop on Logic, Language, Information, and Computation /28./, 20.09.2022 - 23.09.2022, Iași
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	CH
Klíč.slova	Mu-calculus * Expressivity * Topological semantics
Spolupracující instituce	University of Ghent (Belgie) Universite de Toulouse (Francie)
Trvalý link	https://hdl.handle.net/11104/0337431

Počet záznamů: 1