Počet záznamů: 1
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
- 1.0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0239734Ná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