Departament: Sistemas Informáticos y Computación

Facultat: Informática

Àrea: Llenguatges i Sistemes Informàtics

Correu: pjmartin@ucm.es

Doctor per la Universidad Complutense de Madrid amb la tesi Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Dirigida per Dr. Antonio Javier Gavilanes Franco.