Ordering-based methodos for proving termination automatically

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)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio