scientific article; zbMATH DE number 1948160

zbMath1021.03055MaRDI QIDQ4411821

Xavier Rival, Harry G. Mairson

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710151.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

Structure of proofs and the complexity of cut elimination