| |
| 2008 | ||
|---|---|---|
| 3 | EE | Christophe Calvès, Maribel Fernández: Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122 |
| 2 | EE | Christophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008) |
| 2007 | ||
| 1 | EE | Christophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007) |
| 1 | Maribel Fernández | [1] [2] [3] |