Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 0304-3975
Año de publicación: 1998
Volumen: 208
Número: 1-2
Páginas: 33-58
Tipo: Artículo
ISSN: 0304-3975
Año de publicación: 1998
Volumen: 208
Número: 1-2
Páginas: 33-58
Tipo: Artículo