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
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