Parallel Skolemization in Substructurel Logics

Bibliographic details

Authors

Petr Cintula, D. Diaconescu, G. Metcalfe

Publication year

2016

Publication type

Abstrakt

Periodical

Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts

Bibliographic citation

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.

ID

458859