Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del […]
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.
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Un formalismo para la representacion y utilizacion de informacion bilingue en sistemas de traduccion automatica.
Tesis doctoral de Pilar Rodríguez Marín Datos académicos de la tesis doctoral «Un formalismo para la representacion y utilizacion
Caracterizacion no monotona de la inferencia inductiva y su aplicacion al aprendizaje basado en similitudes (sbl)
Tesis doctoral de Gustavo Nuñez Esquer Datos académicos de la tesis doctoral «Caracterizacion no monotona de la inferencia inductiva
Modelado formal de sistemas sincronos
Tesis doctoral de Arturo Azcorra Saloña Datos académicos de la tesis doctoral «Modelado formal de sistemas sincronos« Título de
Un lenguaje para el diseño y validacion de especificaciones algebraicas.
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion
Analisis medio de algoritmos de reduccion sobre arboles.
Tesis doctoral de Fernandez Camacho M. Ines Datos académicos de la tesis doctoral «Analisis medio de algoritmos de reduccion
Aspectos cuantitativos y cualitativos finitistas en sumas de potencias 2m-esimas de polinomios
Tesis doctoral de Margarita Bradley Delso Datos académicos de la tesis doctoral «Aspectos cuantitativos y cualitativos finitistas en sumas