YOLANDA
ORTEGA MALLÉN
Ikertzailea 2022-(e)ra arte
Doktorego-tesia
-
En busca del tiempo perdido 1990
Universidad Complutense de Madrid
Zuzendutako tesiak (2)
-
Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015
Universidad Complutense de Madrid
Sánchez Gil, Lidia
-
Semánticas formales para un lenguaje funcional paralelo 2004
Universidad Complutense de Madrid
Tesi epaimahaiak (8)
-
Epaimahaiko Secretaria
Composición en lógica de reescritura 2021Universidad Complutense de Madrid
Martín Sánchez, Óscar
-
Epaimahaiko Presidenta
Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020Universidad Rey Juan Carlos
LÓPEZ GONZÁLEZ, JESÚS
-
Epaimahaiko Secretaria
Más sobre equivalencias lógicas y distancias entre procesos 2016Universidad Complutense de Madrid
ROMERO HERNÁNDEZ, DAVID
-
Epaimahaiko Secretaria
Maude como marco semántico ejecutable 2003Universidad Complutense de Madrid
-
Epaimahaiko Secretaria
Tpbc: un cálculo sobre redes de Petri con tiempo 2003Universidad Complutense de Madrid
-
Epaimahaiko Secretaria
Programación funcional paralela eficiente en eden 2001Universidad Complutense de Madrid
-
Epaimahaiko Secretaria
Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996Universidad Complutense de Madrid
-
Epaimahaikidea
Contribución a la formalización de la fase de ejecución de pruebas 1995Universidad Politécnica de Madrid
Huecas Fernández-Toribio, Gabriel Isidoro