Počet záznamů: 1
Disjunction Property and Complexity of Substructural Logics
- 1.
SYSNO 0368496 Název Disjunction Property and Complexity of Substructural Logics Tvůrce(i) Horčík, Rostislav (UIVT-O) SAI, RID
Terui, K. (JP)Korespondující/senior Terui, 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 CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. NL Klíč.slova substructural logics * disjunction property * computational complexity Trvalý link http://hdl.handle.net/11104/0202825 Název souboru Staženo Velikost Komentář Verze Přístup 0368496.pdf 0 642.3 KB Autorský preprint povolen
Počet záznamů: 1