Počet záznamů: 1
Parallel Skolemization in Substructurel Logics
- 1.0458859 - ÚI 2017 AT eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Parallel Skolemization in Substructurel Logics.
Algebra and Coalgebra meet Proof Theory. Booklet of Abstracts. Vienna: Technische Universität, 2016. nestr.
[ALCOP VII. Algebra and Coalgebra Meet Proof Theory. 07.04.2016-09.04.2016, Vienna]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * first-order logic * Skolemization * witnessed model property
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0259082
Název souboru Staženo Velikost Komentář Verze Přístup a0458859.pdf 0 3.8 MB Vydavatelský postprint povolen
Počet záznamů: 1