<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-05-04 14:27:22Mathematics Unification Nominal terms Admissible rule Orbifold Natural deduction Mathematical logic Logic Symbol |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2005-05-04 14:27:22Mathematics Unification Nominal terms Admissible rule Orbifold Natural deduction Mathematical logic Logic Symbol |
Add to Reading List |
Relating Nominal and Higher-Order Pattern Unification James Cheney