scientific article; zbMATH DE number 2090291

zbMath1072.68571MaRDI QIDQ4809046

Didier Galmiche, Daniel Méry

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920111.htm

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Focused proof-search in the logic of bunched implications