Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 0304-3975
Any de publicació: 1998
Volum: 208
Número: 1-2
Pàgines: 33-58
Tipus: Article
ISSN: 0304-3975
Any de publicació: 1998
Volum: 208
Número: 1-2
Pàgines: 33-58
Tipus: Article