Departamento
Informática
Aportaciones congreso (2) Publicaciones en las que ha participado algún/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