Basket

  1. 1.
    0348224 - ÚI 2011 CZ eng K - Conference Paper (Czech conference)
    Chvalovský, Karel
    Non-Equivalence of Some Implicational Deduction Theorems.
    Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 49-55. ISBN 978-80-7378-133-0.
    [Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
    R&D Projects: GA AV ČR IAA900090703; GA ČR GD401/09/H007
    Grant - others:GA UK 73109/2009
    Institutional research plan: CEZ:AV0Z10300504
    Keywords : implicational deduction theorems * contraction-free logics * automated theorem proving
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0188809
    FileDownloadSizeCommentaryVersionAccess
    0348224.pdf15176.1 KBPublisher’s postprintopen-access
     
     

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