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. […]
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas. […]
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del
Tesis doctoral de Gustavo Nuñez Esquer Datos académicos de la tesis doctoral «Caracterizacion no monotona de la inferencia inductiva
Tesis doctoral de Pilar Rodríguez Marín Datos académicos de la tesis doctoral «Un formalismo para la representacion y utilizacion
Tesis doctoral de Arturo Azcorra Saloña Datos académicos de la tesis doctoral «Modelado formal de sistemas sincronos« Título de
Tesis doctoral de Ines Clerici Silvia Datos académicos de la tesis doctoral «Un lenguaje para el diseño y validacion
Tesis doctoral de Fernandez Camacho M. Ines Datos académicos de la tesis doctoral «Analisis medio de algoritmos de reduccion
Tesis doctoral de Margarita Bradley Delso Datos académicos de la tesis doctoral «Aspectos cuantitativos y cualitativos finitistas en sumas