Basket

    1.
    0446016 - ÚI 2016 IT eng A - Abstract
    Chvalovský, Karel - Horčík, Rostislav
    Full Lambek Calculus with contraction is undecidable.
    Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 49-50.
    [TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
    R&D Projects: GA ČR GAP202/11/1632
    Institutional support: RVO:67985807
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0248515
    FileDownloadSizeCommentaryVersionAccess
    a0446016.pdf0307.6 KBPublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all