An algebraic proof of the disjunction property

Bibliografické údaje

Autoři

• Rostislav Horčík

Rok vydání

2011

Typ publikace

Abstrakt

Periodikum

Algebra and Coalgebra meet Proof Theory

Bibliografická citace

HORČÍK, Rostislav. An algebraic proof of the disjunction property. In: Algebra and Coalgebra meet Proof Theory. Universität Bern, 2011, S. 6-6.

ID

369935