scientific article; zbMATH DE number 1980929

zbMath1023.03544MaRDI QIDQ4428303

Alessio Guglielmi, Lutz Straßburger

Publication date: 15 September 2003

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

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

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (6)

MELL in the calculus of structures ⋮ An Analytic Propositional Proof System on Graphs ⋮ On the decision problem for MELL ⋮ System BV is NP-complete ⋮ Maude as a Platform for Designing and Implementing Deep Inference Systems ⋮ System NEL is Undecidable

This page was built for publication: