Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures (2003)

Cached

Download Links

by Deepak Kapur , M. Subramaniam
Venue:Proc. ASIAN 2003, LNCS
Citations:2 - 1 self