DMCA

Proof-Theoretic Analysis of Termination Proofs (1994)

Cached

Download Links

by Wilfried Buchholz
Venue:APAL
Citations:11 - 0 self