Publicaciones en las que colabora con Diego Sotés (1)

2006

  1. Reutilización de demostraciones. Aplicación al Algoritmo de Hindley

    Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006