Search results
- 1.0379800 - ÚI 2013 GB eng A - Abstract
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]
Institutional support: RVO:67985807
Keywords : Hilbert-style proof systems * propositional logic * linear proofs
Subject RIV: BA - General Mathematics
http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf
Permanent Link: http://hdl.handle.net/11104/0210674