Počet záznamů: 1  

Undecidability of Consequence Relation in Full Non-associative Lambek Calculus

  1. 1.
    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
    Impakt faktor: 0.510, rok: 2015
    http://hdl.handle.net/11104/0239734
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.