Program Extraction in a Logical Framework Setting (1994)

Cached

Download Links

by Penny Anderson
Venue:IN PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND AUTOMATED REASONING
Citations:3 - 1 self