Resultados de no calculabilidad en representaciones de Tipos Abstractos de Datos

  1. Laureano Lamban
  2. María Vico Pascual
  3. Julio Rubio
Libro:
Tercer Encuentro de Algebra Computacional y Aplicaciones: Granada, Septiembre 25-27, 1997 : [EACA-97]

Editorial: Departamento de Geografía ; Universidad de Alcalá

Año de publicación: 1997

Páginas: 133-140

Congreso: Encuentro de Algebra Computacional y Aplicaciones (3. 1997. Granada)

Tipo: Aportación congreso