Departament
Informática
Aportacions a congrés (2) Publicacions en què ha participat algun/a investigador/a
1982
-
Pares adjuntos entre categorías de máquinas
Actas de las IX Jornadas hispano-lusas de matemáticas: Salamanca. 12-16 abril 1982
-
Sistemas de factorizaciones y realización de Nerode para máquinas en una categoría
Actas de las IX Jornadas hispano-lusas de matemáticas: Salamanca. 12-16 abril 1982