 | 2009 |
|---|
| 13 |       | David Ruiz,
Mateu Villaret:
TILC: The Interactive Lambda-Calculus Tracer.
Electr. Notes Theor. Comput. Sci. 248: 173-183 (2009) |
| 2008 |
|---|
| 12 | | Jordi Levy,
Mateu Villaret:
Nominal Unification from a Higher-Order Perspective.
RTA 2008: 246-260 |
| 11 | | Jordi Levy,
Manfred Schmidt-Schauß,
Mateu Villaret:
The Complexity of Monadic Second-Order Unification.
SIAM J. Comput. 38(3): 1113-1140 (2008) |
| 2007 |
|---|
| 10 | | Temur Kutsia,
Jordi Levy,
Mateu Villaret:
Sequence Unification Through Currying.
RTA 2007: 288-302 |
| 2006 |
|---|
| 9 | | Jordi Levy,
Manfred Schmidt-Schauß,
Mateu Villaret:
Stratified Context Unification Is NP-Complete.
IJCAR 2006: 82-96 |
| 8 | | Jordi Levy,
Manfred Schmidt-Schauß,
Mateu Villaret:
Bounded Second-Order Unification Is NP-Complete.
RTA 2006: 400-414 |
| 2005 |
|---|
| 7 | | Jordi Levy,
Joachim Niehren,
Mateu Villaret:
Well-Nested Context Unification.
CADE 2005: 149-163 |
| 6 | | Joachim Niehren,
Mateu Villaret:
Describing Lambda Terms in Context Unification.
LACL 2005: 221-237 |
| 2004 |
|---|
| 5 | | Jordi Levy,
Manfred Schmidt-Schauß,
Mateu Villaret:
Monadic Second-Order Unification Is NP-Complete.
RTA 2004: 55-69 |
| 2002 |
|---|
| 4 | | Joachim Niehren,
Mateu Villaret:
Parallelism and Tree Regular Constraints.
LPAR 2002: 311-326 |
| 3 | | Jordi Levy,
Mateu Villaret:
Currying Second-Order Unification Problems.
RTA 2002: 326-339 |
| 2001 |
|---|
| 2 | | Jordi Levy,
Mateu Villaret:
Context Unification and Traversal Equations.
RTA 2001: 169-184 |
| 2000 |
|---|
| 1 | | Jordi Levy,
Mateu Villaret:
Linear Second-Order Unification and Context Unification with Tree-Regular Constraints.
RTA 2000: 156-171 |
