Logic Programming, Functional Programming, and Inductive Definitions (1991)

Cached

Download Links

by Lawrence C. Paulson , Lawrence C. Paulson , Andrew W. Smith , Andrew W. Smith
Venue:In Extensions of Logic Programming, volume 475 of LNCS
Citations:10 - 0 self