Košík

0369935 - ÚI 2012 CH eng A - Abstrakt
Horčík, Rostislav
An algebraic proof of the disjunction property.
Algebra and Coalgebra meet Proof Theory. Universität Bern, 2011. s. 6-6.
[Algebra and Coalgebra meet Proof Theory. 27.04.2011-29.04.2011, Bern]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: substructural logics * disjunction property * computational complexity
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0203879