Počet záznamů: 1
Disjunction Property and Complexity of Substructural Logics
- 1.Horčík, Rostislav - Terui, K.
Disjunction Property and Complexity of Substructural Logics.
Theoretical Computer Science. Roč. 412, č. 31 (2011), s. 3992-4006. ISSN 0304-3975. E-ISSN 1879-2294
Impakt faktor: 0.665, rok: 2011
http://hdl.handle.net/11104/0202825
Počet záznamů: 1