Počet záznamů: 1  

Disjunction Property and Complexity of Substructural Logics

  1. 1.
    SYSNO0368496
    NázevDisjunction Property and Complexity of Substructural Logics
    Tvůrce(i) Horčík, Rostislav (UIVT-O) SAI, RID
    Terui, K. (JP)
    Korespondující/seniorTerui, K. - Korespondující autor
    Zdroj.dok. Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. - : Elsevier
    Druh dok.Článek v odborném periodiku
    Grant GAP202/10/1826 GA ČR - Grantová agentura ČR
    ME09110 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    Jazyk dok.eng
    Země vyd.NL
    Klíč.slova substructural logics * disjunction property * computational complexity
    Trvalý linkhttp://hdl.handle.net/11104/0202825
    Název souboruStaženoVelikostKomentářVerzePřístup
    0368496.pdf0642.3 KBAutorský preprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.