MANUEL EMILIO
GEGUNDEZ ARIAS
PROFESOR TITULAR DE UNIVERSIDAD

José Luis
Ruiz Reina
Publications by the researcher in collaboration with José Luis Ruiz Reina (1)
1994
-
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)