Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts
Bibliografická citace
CINTULA, Petr, DIACONESCU, D., METCALFE, G. Parallel Skolemization in Substructurel Logics. In: Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts. Vienna: Technische Universität, 2016, nestr.
