Département: Sistemas Informáticos y Computación

Faculté: Informática

Domaine: Lenguajes y Sistemas Informáticos

Email: pjmartin@ucm.es

Docteur à l Universidad Complutense de Madrid avec la thèse Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Dirigée par Dr. Antonio Javier Gavilanes Franco.