Počet záznamů: 1

Undecidability of Consequence Relation in Full Non-associative Lambek Calculus

SYSNO	0435915
Název	Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
Tvůrce(i)	Chvalovský, Karel (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. - : Cambridge University Press
Druh dok.	Článek v odborném periodiku
Grant	GAP202/10/1826 GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	US
Klíč.slova	substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Trvalý link	http://hdl.handle.net/11104/0239734

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	a0435915.pdf	5	373.1 KB		Vydavatelský postprint	vyžádat
	0435915.pdf	2	1 MB		Autorský preprint	vyžádat

Počet záznamů: 1