Termination of rewriting with mon-monotonic ordering
Tesis doctoral de Mirtha Lina Fernandez Venero This thesis is intended to provide a first step on the study of […]
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.
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
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