Conceptos temporales para el estudio del comportamiento de programas.
Tesis doctoral de Farinas Del Cerro Luis Datos académicos de la tesis doctoral «Conceptos temporales para el estudio del […]
Tesis doctoral de Fernando Orejas Valdés
Información academica Fernando Orejas Valdés. Tesis donde Fernando Orejas Valdés ha sido autor, director o parte del tribunal.
Programacio paral.lela usant esquemes. vers un metode sistematic de construccions de programes concurrents.
Tesis doctoral de Alberto Llamosi Casas Datos académicos de la tesis doctoral «Programacio paral.lela usant esquemes. vers un metode
Programacio amb tipus abstractes de dades: els tipus abstractes com a suport conceptual dels esquemes de programa.
Tesis doctoral de Pere Botella López Se presenta un nuevo enfoque del uso de tipos de datos en la construccion
Una teoria de tipos estructurados de datos.
Tesis doctoral de Fernando Orejas Valdés Presentacion de un nuevo metodo para la especificacion de tipos estructurados de datos basado
Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our
Técnicas coalgebraicas y categóricas para el estudio de las semánticasde procesos.
Tesis doctoral de Ignacio Fabregas Alfaro De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas
A tipe-theoretic approach to proof support for algebraic design frameworks
Tesis doctoral de Nicolas Eduardo Mylonakis Pascual Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support
Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
Finite models of splicing and their complexity
Tesis doctoral de Remco Loos Isbn:? 9788469197509 Datos académicos de la tesis doctoral «Finite models of splicing and their