- Artículo:
Polymorphic higher-order recursive path orderings
- Autor:
Jean-Pierre Jouannaud
Albert Rubio
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
1
- Periodo:
Enero 2007
- ISSN:
00045411
- SrcID:
00045411-2007-01.txt
- Documento número 252924
- Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Enlace directo
