Relative timing based verification of concurrent systems
Tesis doctoral de Marco Antonio Peña Basurto Datos académicos de la tesis doctoral «Relative timing based verification of concurrent […]
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.
Maude como marco semántico ejecutable
Tesis doctoral de José Alberto Verdejo López La lógica de resscritura, propuesta por josé meseguer en 1990 como marco de
Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo
Tesis doctoral de Antonio José Fernández Leiva Esta tesis propone un esquema genérico y cooperativo para la programación lógica con
Programación declarativa cualificada con restricciones
Tesis doctoral de Carlos Alberto Romero Diaz «la incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial,
Towards the automatic synthesis of asynchronous communication mechanisms
Tesis doctoral de Kyller Costa GorgÁ´nio The correct transfer of data between concurrent processes is important in the exploitation of
A transformational approach to constructive negation in constraint normal logic programming
Tesis doctoral de Javier Alvez Gimenez In this dissertation, we propose an efficient treatment of constructive negation in constraint normal
Semánticas formales para un lenguaje funcional paralelo
Tesis doctoral de Mercedes Hidalgo Herrero El objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las
Automated deduction with built-in theories. completeness results and constraint solving tecniques
Tesis doctoral de Guillem Godoy Balil Datos académicos de la tesis doctoral «Automated deduction with built-in theories. completeness results
Data structures and algorithms for automated deduction with equality
Tesis doctoral de José Miguel Rivero Almeida Datos académicos de la tesis doctoral «Data structures and algorithms for automated
Un algebra de modulos reflexiva con aplicaciones al lenguaje maude.
Tesis doctoral de Francisco Javier Duran Muñoz En esta tesis hemos definido un álgebra de módulos extensible para la lógica