Back to Results
First PageMeta Content
Mathematics / Unification / Nominal terms / Admissible rule / Orbifold / Natural deduction / Mathematical logic / Logic / Symbol


Relating Nominal and Higher-Order Pattern Unification James Cheney
Add to Reading List

Document Date: 2005-05-04 14:27:22

Open Document

File Size: 203,60 KB

Share Result on Facebook
UPDATE