Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Rewrite orderings for higher-order terms in eta-long beta-normal form and the recursive path ordering

Autor
Jouannaud, J.; Rubio, A.
Tipus d'activitat
Article en revista
Revista
Theoretical computer science
Data de publicació
1998-10
Volum
208
Número
1
Pàgina inicial
33
Pàgina final
58
Grup de recerca
LOGPROG - Lògica i Programació

Participants