Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 0304-3975
Année de publication: 1998
Volumen: 208
Número: 1-2
Pages: 33-58
Type: Article
ISSN: 0304-3975
Année de publication: 1998
Volumen: 208
Número: 1-2
Pages: 33-58
Type: Article