Publicaciones en las que colabora con José Luis Ruiz Reina (1)

1994

  1. Prueba por consistencia de teoremas inductivos: inducción sin inducción

    Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)