Back to Results
First PageMeta Content
Mathematical logic / Programming idioms / Logic programming / Prolog / Deductive database / Clause / Stratification / Horn clause / Recursion / Computer programming / Software engineering / Computing


Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand
Add to Reading List

Document Date: 2010-06-14 20:29:16


Open Document

File Size: 198,86 KB

Share Result on Facebook
UPDATE