Basket

    1.
    0533996 - ÚI 2021 NL eng J - Journal Article
    Cerna, David M. - Leitsch, A. - Reis, G. - Wolfsteiner, S.
    Ceres in intuitionistic logic.
    Annals of Pure and Applied Logic. Roč. 168, č. 10 (2017), s. 1783-1836. ISSN 0168-0072. E-ISSN 1873-2461
    Keywords : cut-elimination * Cut-elimination * Intuitionistic logic * ceres * Proof resolution
    Impact factor: 1.000, year: 2017
    Permanent Link: http://hdl.handle.net/11104/0312218
     
     

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

Accept allSettingsReject all