Linearization of Proofs in Propositional Hilbert Systems

Bibliografické údaje

Autoři

• Karel Chvalovský

Rok vydání

2012

Typ publikace

Abstrakt

Periodikum

How the World Computes. Abstracts

Bibliografická citace

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

ID

379800