Linearization of Proofs in Propositional Hilbert Systems
Bibliographic details
Authors
Karel Chvalovský
Publication year
Publication type
Abstrakt
Periodical
How the World Computes. Abstracts
Bibliographic citation
CHVALOVSKÝ, Karel. Linearization of Proofs in Propositional Hilbert Systems. In: How the World Computes. Abstracts. University of Cambridge, 2012, S. 26. Dostupné z: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf
