Number of the records: 1  

Disjunction Property and Complexity of Substructural Logics

    1.
    SYSNO0368496
    TitleDisjunction Property and Complexity of Substructural Logics
    Author(s) Horčík, Rostislav (UIVT-O) SAI, RID
    Terui, K. (JP)
    Corespondence/seniorTerui, K. - Korespondující autor
    Source Title Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. - : Elsevier
    Document TypeČlánek v odborném periodiku
    Grant GAP202/10/1826 GA ČR - Czech Science Foundation (CSF)
    ME09110 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Languageeng
    CountryNL
    Keywords substructural logics * disjunction property * computational complexity
    Permanent Linkhttp://hdl.handle.net/11104/0202825
    FileDownloadSizeCommentaryVersionAccess
    0368496.pdf0642.3 KBAuthor´s preprintopen-access
     
Number of the records: 1  

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

Accept allSettingsReject all