Reutilización de demostraciones. Aplicación al Algoritmo de Hindley
- Laureano Lambán
- Diego Sotés
- Castro Jiménez, Francisco Jesús (coord.)
- Ucha Enríquez, José María (coord.)
Argitaletxea: Universidad de Sevilla
ISBN: 84-611-2311-5
Argitalpen urtea: 2006
Orrialdeak: 119-122
Biltzarra: Encuentro de Algebra Computacional y Aplicaciones (10. 2006. Sevilla)
Mota: Biltzar ekarpena