| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 5 |      | Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Recursive Path Orderings Can Also Be Incremental. LPAR 2005: 230-245 |
| 4 | | Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio: Orderings for Innermost Termination. RTA 2005: 17-31 |
| 3 | | Mirtha-Lina Fernández: Relaxing monotonicity for innermost termination. Inf. Process. Lett. 93(3): 117-123 (2005) |
| 2 | | Mirtha-Lina Fernández: On proving CE-termination of rewriting by size-change termination. Inf. Process. Lett. 93(4): 155-162 (2005) |
| 2001 | ||
| 1 |  | Mirtha-Lina Fernández, Gabriel Valiente: A graph distance metric combining maximum common subgraph and minimum common supergraph. Pattern Recognition Letters 22(6/7): 753-758 (2001) |
| 1 | Guillem Godoy | [4] [5] |
| 2 | Albert Rubio | [4] [5] |
| 3 | Gabriel Valiente | [1] |
Colors in the list of coauthors
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page