Proof-theoretic analysis of termination proofs

From MaRDI portal
Publication:1899143

DOI10.1016/0168-0072(94)00056-9zbMath0844.03031OpenAlexW1968714331MaRDI QIDQ1899143

Wilfried Buchholz

Publication date: 27 August 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(94)00056-9




Related Items (23)



Cites Work


This page was built for publication: Proof-theoretic analysis of termination proofs