Tesis doctoral de Nicolas Eduardo Mylonakis Pascual
Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support for algebraic design frameworks«
- Título de la tesis: A tipe-theoretic approach to proof support for algebraic design frameworks
- Autor: Nicolas Eduardo Mylonakis Pascual
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 30/06/2000
Dirección y tribunal
- Director de la tesis
- Fernando Orejas Valdés
- Tribunal
- Presidente del tribunal: jordi Levy diaz
- michel Bidoit (vocal)
- don Sannella (vocal)
- francisca Lucio carrasco (vocal)