Počet záznamů: 1
Linearization of Proofs in Propositional Hilbert Systems
- 1.0380881 - ÚI 2013 CZ eng A - Abstrakt
Chvalovský, Karel
Linearization of Proofs in Propositional Hilbert Systems.
Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012 - (Kuželová, D.; Hakl, F.). s. 21-21. ISBN 978-80-7278-217-7.
[Doktorandské dny 2012 Ústavu informatiky AV ČR, v. v. i. 24.09.2012-26.09.2012, Jizerka]
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: Hilbert proof systems * linearization of proofs * propositional logics
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0211483
Název souboru Staženo Velikost Komentář Verze Přístup 0380881.pdf 1 151.7 KB Vydavatelský postprint povolen
Počet záznamů: 1