Počet záznamů: 1
Witnessed Models and Skolemization in Substructural Logics
- 1.0446018 - ÚI 2016 IT eng A - Abstrakt
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Witnessed Models and Skolemization in Substructural Logics.
Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015. s. 53-54.
[TACL 2015. Topology, Algebra and Categories in Logic. 21.06.2015-26.06.2015, Ischia]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0248513
Název souboru Staženo Velikost Komentář Verze Přístup a0446018.pdf 0 349.3 KB Vydavatelský postprint povolen
Počet záznamů: 1