Back to Results
First PageMeta Content
Model theory / Automated theorem proving / Logic programming / Unification / Structure / Interpretation / Idempotence / Mathematics / Abstract algebra / Algebra


Soundness, idempotence and commutativity of set-sharing
Add to Reading List

Document Date: 2014-06-06 13:46:56


Open Document

File Size: 338,90 KB

Share Result on Facebook
UPDATE