Dissertation

  1. En busca del tiempo perdido 1990

    Universidad Complutense de Madrid

Dissertationen geleitet (2)

  1. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015

    Universidad Complutense de Madrid

    Sánchez Gil, Lidia

  2. Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

Gerichte für Dissertationen (8)

  1. Sekretärin des Gerichts

    Composición en lógica de reescritura 2021

    Universidad Complutense de Madrid

    Martín Sánchez, Óscar

  2. Präsidentin des Gerichts

    Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Sekretärin des Gerichts

    Más sobre equivalencias lógicas y distancias entre procesos 2016

    Universidad Complutense de Madrid

    ROMERO HERNÁNDEZ, DAVID

  4. Sekretärin des Gerichts

    Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

    Verdejo López, José Alberto

  5. Sekretärin des Gerichts

    Tpbc: un cálculo sobre redes de Petri con tiempo 2003

    Universidad Complutense de Madrid

    MARROQUÍN ALONSO, OLGA

  6. Sekretärin des Gerichts

    Programación funcional paralela eficiente en eden 2001

    Universidad Complutense de Madrid

    Rubio Díez, Fernando

  7. Sekretärin des Gerichts

    Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996

    Universidad Complutense de Madrid

    Llana, L. F.

  8. Vokal des Gerichts

    Contribución a la formalización de la fase de ejecución de pruebas 1995

    Universidad Politécnica de Madrid

    Huecas Fernández-Toribio, Gabriel Isidoro