Back to Results
First PageMeta Content
Software engineering / Theoretical computer science / Logic programming / Computer programming / Programming paradigms / Automated theorem proving / Type theory / Prolog / Unification / Substitution / Interpreter / Term


Specialising the Ground Representation in the Logic Programming Language G¨odel. C.A.Gurr∗ University of Edinburgh Abstract
Add to Reading List

Document Date: 2010-10-22 08:05:11


Open Document

File Size: 150,73 KB

Share Result on Facebook