A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh - Extended Mathematical Programming - Document - PDFSEARCH.IO

First Page	Meta Content
	A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh Add to Reading List Document Date: 2010-10-22 08:05:11 Open Document File Size: 156,67 KB Share Result on Facebook

A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of EdinburghAdd to Reading List