DMCA

Algorithmic Structuring of Cut-free Proofs (1993)

Cached

Download Links

by Matthias Baaz , Richard Zach
Venue:Computer Science Logic. Selected Papers from CSL'92, LNCS 702
Citations:7 - 1 self