#### DMCA

## Algorithmic Structuring of Cut-free Proofs (1993)

### Cached

### Download Links

- [www.math.berkeley.edu]
- [www.ucalgary.ca]
- DBLP

### Other Repositories/Bibliography

by
Matthias Baaz
,
Richard Zach

Venue: | Computer Science Logic. Selected Papers from CSL'92, LNCS 702 |

Citations: | 7 - 1 self |