Basket

    1.
    0380881 - ÚI 2013 CZ eng A - Abstract
    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]
    R&D Projects: GA ČR GAP202/10/1826
    Institutional support: RVO:67985807
    Keywords : Hilbert proof systems * linearization of proofs * propositional logics
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0211483
    FileDownloadSizeCommentaryVersionAccess
    0380881.pdf1151.7 KBPublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all