Meaning and Computing: Two Approaches to Computable Propositions

Počet záznamů: 1

1.

SYSNO	0546956
Název	Meaning and Computing: Two Approaches to Computable Propositions
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	Logic, Language, Information, and Computation, 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. S. 100-116. - Cham : Springer, 2021 / Silva Alexandra ; Wassermann Renata ; de Queiroz Ruy
Konference	WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./, 05.10.2021 - 08.10.2021, online
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	GA19-12420S GA ČR - Grantová agentura ČR, CZ - Česká republika
Institucionální podpora	FLU-F - RVO:67985955
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	computable proposition * sense–denotation distinction * algorithmic theory of meaning * procedural semantics * constructive type theory * transparent intensional logic
URL	https://doi.org/10.1007/978-3-030-88853-4_7
Trvalý link	http://hdl.handle.net/11104/0323337

Počet záznamů: 1