Košík

0343228 - ÚI 2011 PT eng A - Abstrakt
Horčík, Rostislav
Disjunction Property and Complexity of Structural Logics.
UNILOG 2010. Book of Abstracts. Lisbon: Instituto Superior Técnico - Departemanto de Matemática, 2010 - (Béziau, J.; Caleiro, C.; Costa-Leite, A.; Ramos, J.). s. 52-52. ISBN 978-972-99289-2-5.
[UniLog 2010. World Congress and School on Universal Logic /3./. 18.04.2010-25.04.2010, Monte Estoril]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: disjunction property * substructural logic * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0185751