scientific article; zbMATH DE number 1770113
From MaRDI portal
Publication:4540540
zbMath0990.68540MaRDI QIDQ4540540
Dominique Larchey-Wendling, Daniel Méry, Didier Galmiche
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The ILTP problem library for intuitionistic logic, Intuitionistic Decision Procedures Since Gentzen, STRIP, Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
