Back to Results
First PageMeta Content
Logic programming / Automated theorem proving / Constraint programming / Admissible rule / Unification / Satisfiability / Local consistency / Mathematical logic / Logic / Model theory


Unification in Maude Steven Eker 1 Unification
Add to Reading List

Document Date: 2009-04-09 21:15:33

Open Document

File Size: 106,06 KB

Share Result on Facebook
UPDATE