DMCA

Program Extraction in a Logical Framework Setting (1994)

Cached

Download Links

by Calcul Symbolique , Penny Anderson , Penny Anderson , Projet Croap
Venue:In Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning