Tesis doctoral de Cristina Borralleras Andreu
Datos académicos de la tesis doctoral «Ordering-based methodos for proving termination automatically«
- Título de la tesis: Ordering-based methodos for proving termination automatically
- Autor: Cristina Borralleras Andreu
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 23/05/2003
Dirección y tribunal
- Director de la tesis
- Albert Rubio Gimeno
- Tribunal
- Presidente del tribunal: robert lukas mario Nieuwenhuis
- andrei Voronkov (vocal)
- Manuel Hermenegildo salinas (vocal)
- juergen Giels (vocal)