Počet záznamů: 1
Full Lambek Calculus with Contraction is Undecidable
- 1.0439018 - ÚI 2015 IT eng A - Abstrakt
Horčík, Rostislav - Chvalovský, Karel
Full Lambek Calculus with Contraction is Undecidable.
Beyond True and False: Logic, Algebra and Topology. Schedule and Abstracts. 2014. s. 13-13.
[Beyond True and False: Logic, Algebra and Topology. 03.12.2014-05.12.2014, Florence]
Institucionální podpora: RVO:67985807
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0242336
Název souboru Staženo Velikost Komentář Verze Přístup a0439018.pdf 0 322.8 KB Vydavatelský postprint povolen
Počet záznamů: 1