Mirtha-Lina Fernández

	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)

Coauthor Index

1	Guillem Godoy	[4] [5]
2	Albert Rubio	[4] [5]
3	Gabriel Valiente	[1]

Colors in the list of coauthors