Počet záznamů: 1

Logically Speaking. A Festschrift for Marie Duží

SYSNO	0568686
Název	Going Nowhere and Back. Is Trivialization the Same as Zero Execution?
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Logically Speaking. A Festschrift for Marie Duží. S. 187-202. - London : College Publications, 2022 / Materna P. ; Jespersen B.
ISBN	978-1-84890-419-4
Edice	Tributes
Druh dok.	Část monografie, knihy (kapitola)
Grant	LQ300092101, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	GB
Klíč.slova	transparent intensional logic * execution construction * trivialization construction * procedural semantics
URL	https://www.collegepublications.co.uk/tributes/?00049
Trvalý link	https://hdl.handle.net/11104/0339997

Počet záznamů: 1