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