On the Declarative and Procedural Semantics of Definite Metalogic Programs (1994)

Cached

Download Links

by Christopher P. Higgins , Nathan Qld
Venue:J. Logic and Computation
Citations:3 - 2 self