Generalization and Reuse of Tactic Proofs (0)

Cached

Download Links

by Amy Felty , Douglas Howe
Venue:In Proc. Int. Conf. Logic Programming and Automated Reasoning (LPAR
Citations:12 - 0 self