The following pages link to Mirtha-Lina Fernández (Q835005):
Displaying 5 items.
- Relaxing monotonicity for innermost termination (Q835006) (← links)
- On proving \(C_E\)-termination of rewriting by size-change termination (Q835016) (← links)
- A graph distance metric combining maximum common subgraph and minimum common supergraph (Q4795075) (← links)
- Recursive Path Orderings Can Also Be Incremental (Q5387842) (← links)
- Term Rewriting and Applications (Q5703865) (← links)
