scientific article; zbMATH DE number 2006630

zbMATH Open1024.03058MaRDI QIDQ4436026FDOQ4436026

Authors: Matthias Baaz, Alexander Leitsch 

Publication date: 23 November 2003

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

Title of this publication is not available (Why is that?)

Recommendations

• Methods of cut-elimination
• Cut normal forms and proof complexity
• Cut elimination and automatic proof procedures
• Cut Elimination In Situ
• Algorithmic introduction of quantified cuts

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)

Cited In (4)

• Computer Science Logic
• Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination
• Sufficient conditions for cut elimination with complexity analysis
• Cut-elimination and redundancy-elimination by resolution

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4436026)