Basket

    1.
    0446018 - ÚI 2016 IT eng A - Abstract
    Cintula, Petr - Diaconescu, D. - Metcalfe, G.
    Witnessed Models and Skolemization in Substructural Logics.
    Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 53-54.
    [TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
    R&D Projects: GA ČR GA13-14654S
    Institutional support: RVO:67985807
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0248513
    FileDownloadSizeCommentaryVersionAccess
    a0446018.pdf0349.3 KBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all