Počet záznamů: 1
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
- 1.CHVALOVSKÝ, K. Undecidability of Consequence Relation in Full Non-associative Lambek Calculus. Journal of Symbolic Logic. 2015, 80(2), 567-586. ISSN 0022-4812. E-ISSN 1943-5886. Dostupné z: doi: 10.1017/jsl.2014.39
Počet záznamů: 1