scientific article; zbMATH DE number 2242591

zbMath1087.03509MaRDI QIDQ5714444

Daniel Méry, Didier Galmiche

Publication date: 2 January 2006

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Focused proof-search in the logic of bunched implications

Uses Software

• STRIP