Especificacion algebraica de tipos abstractos de datos no deterministas.
Tesis doctoral de Federico Valenciano Llovera Datos académicos de la tesis doctoral «Especificacion algebraica de tipos abstractos de datos […]
Tesis doctoral de Mario Rodríguez Artalejo
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Propiedades estructurales de las jerarquias de conteo.
Tesis doctoral de Jacobo Teran Romero Datos académicos de la tesis doctoral «Propiedades estructurales de las jerarquias de conteo.«
Gramaticas logicas: resolucion de problemas en lenguaje natural
Tesis doctoral de Garcia Serrano Ana M. Datos académicos de la tesis doctoral «Gramaticas logicas: resolucion de problemas en
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Semantica de comportamiento en lenguajes de especificacion
Tesis doctoral de M. Pilar Nivela Alos Datos académicos de la tesis doctoral «Semantica de comportamiento en lenguajes de