Počet záznamů: 1  

Full Lambek Calculus with Contraction is Undecidable

  1. 1.
    Chvalovský, Karel - Horčík, Rostislav
    Full Lambek Calculus with Contraction is Undecidable.
    Journal of Symbolic Logic. Roč. 81, č. 2 (2016), s. 524-540. ISSN 0022-4812. E-ISSN 1943-5886
    Impakt faktor: 0.511, rok: 2016
    http://hdl.handle.net/11104/0245628
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.