A theoretical analysis of hierarchical proofs (2003)

Cached

Download Links

by Paul Cairns , Jeremy Gow
Venue:In Asperti et al
Citations:3 - 2 self