Basket

    1.
    0458859 - ÚI 2017 AT eng A - Abstract
    Cintula, Petr - Diaconescu, D. - Metcalfe, G.
    Parallel Skolemization in Substructurel Logics.
    Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts. Vienna: Technische Universität, 2016. nestr.
    [ALCOP VII. Algebra and Coalgebra Meet Proof Theory. 07.04.2016-09.04.2016, Vienna]
    Institutional support: RVO:67985807
    Keywords : substructural logics * first-order logic * Skolemization * witnessed model property
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0259082
    FileDownloadSizeCommentaryVersionAccess
    a0458859.pdf03.8 MBPublisher’s postprintopen-access
     
     

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

Accept allSettingsReject all