Basket

    1.
    0439018 - ÚI 2015 IT eng A - Abstract
    Horčík, Rostislav - Chvalovský, Karel
    Full Lambek Calculus with Contraction is Undecidable.
    Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 13-13.
    [Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
    Institutional support: RVO:67985807
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0242336
    FileDownloadSizeCommentaryVersionAccess
    a0439018.pdf0322.8 KBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all