#### DMCA

## Proof-Theoretic Analysis of Termination Proofs (1994)

### Cached

### Download Links

- [www.mathematik.uni-muenchen.de]
- [www.mathematik.uni-muenchen.de]
- DBLP

### Other Repositories/Bibliography

by
Wilfried Buchholz

Venue: | APAL |

Citations: | 11 - 0 self |