Disjunction Property and Complexity of Substructural Logics

Horčík Rostislav



Název
Disjunction Property and Complexity of Substructural Logics
Autor
lupa Horčík Rostislav UIVT-O - Ústav informatiky AV ČR, v. v. i.
Spoluautoři
lupa Terui K.
Zdroj.dok.
lupa Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. - : Elsevier
Vyd.údaje
15 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
NL
Klíč.slova
substructural logics * disjunction property * computational complexity
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0202825