| 2008 |
|---|
| 6 | EE | Flávio L. C. de Moura,
Mauricio Ayala-Rincón,
Fairouz Kamareddine:
Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.
J. Applied Logic 6(1): 72-108 (2008) |
| 2006 |
|---|
| 5 | | Flávio L. C. de Moura,
Mauricio Ayala-Rincón,
Fairouz Kamareddine:
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.
Journal of Applied Non-Classical Logics 16(1-2): 119-150 (2006) |
| 2005 |
|---|
| 4 | EE | Mauricio Ayala-Rincón,
Flávio L. C. de Moura,
Fairouz Kamareddine:
Comparing and implementing calculi of explicit substitutions with eta-reduction.
Ann. Pure Appl. Logic 134(1): 5-41 (2005) |
| 2004 |
|---|
| 3 | EE | Flávio L. C. de Moura:
Understanding Higher Order Unification via Explicit Substitutions and Patterns.
IJCAR Doctoral Programme 2004 |
| 2 | EE | Flávio L. C. de Moura,
Fairouz Kamareddine,
Mauricio Ayala-Rincón:
Second-Order Matching via Explicit Substitutions.
LPAR 2004: 433-448 |
| 2002 |
|---|
| 1 | EE | Mauricio Ayala-Rincón,
Flávio L. C. de Moura,
Fairouz Kamareddine:
Comparing Calculi of Explicit Substitutions with Eta-reduction.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
