DMCA

Rewrite Proofs and Computations (1995)

Cached

Download Links

by Jean-pierre Jouannaud
Venue:Proof and Computation
Citations:12 - 0 self