Algorithmic introduction of quantified cuts
From MaRDI portal
Publication:402115
DOI10.1016/j.tcs.2014.05.018zbMath1393.03050arXiv1401.4330MaRDI QIDQ402115
Alexander Leitsch, Stefan Hetzl, Giselle Reis, Daniel Weller
Publication date: 27 August 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.4330
03F05: Cut-elimination and normal-form theorems
Uses Software