scientific article; zbMATH DE number 1500555

zbMath0955.03017MaRDI QIDQ4501574

Dominique Larchey-Wendling, Didier Galmiche

Publication date: 14 January 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

propositional intuitionistic logicproof-searchstructural sharing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

STRIP