HORPO with computability closure: A reconstruction
- Blanqui, F.
- Jouannaud, J.-P.
- Rubio, A.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540755586
Año de publicación: 2007
Volumen: 4790 LNAI
Páginas: 138-150
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783540755586
Año de publicación: 2007
Volumen: 4790 LNAI
Páginas: 138-150
Tipo: Aportación congreso