Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Higher-Order Orderings for Normal Rewriting

Autor
Jean-Pierre, J.; Rubio, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2006-08
Volum
4098
Pàgina inicial
387
Pàgina final
399
Grup de recerca
LOGPROG - Lògica i Programació

Participants