Výsledky vyhledávání
- 1.0379800 - ÚI 2013 GB eng A - Abstrakt
Chvalovský, Karel
Linearization of Proofs in Propositional Hilbert Systems.
How the World Computes. Abstracts. University of Cambridge, 2012. s. 26.
[CiE 2012. Turing Centerary Conference and Conference on Computability in Europe /8./. 18.06.2012-23.06.2012, Cambridge]
Institucionální podpora: RVO:67985807
Klíčová slova: Hilbert-style proof systems * propositional logic * linear proofs
Kód oboru RIV: BA - Obecná matematika
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf
Trvalý link: http://hdl.handle.net/11104/0210674