Proof Search Tree and Cut Elimination

DOI10.1007/978-3-540-78127-1_28zbMath1133.03033OpenAlexW1489842939MaRDI QIDQ5452195

Grigori Mints

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_28

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Cites Work

• E theorems
• Unwinding a Non-effective Cut Elimination Proof
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof Search Tree and Cut Elimination