Back to Results
First PageMeta Content
Logic programming / Model theory / Integral calculus / Automated theorem proving / Unification / Interpretation / Integration by substitution / Function / Monad / Mathematics / Mathematical logic / Declarative programming


A functional reconstruction of anti-unification NR Norwegian Computing Center
Add to Reading List

Document Date: 2011-02-11 06:14:51

Open Document

File Size: 254,22 KB

Share Result on Facebook
UPDATE