Department: Sistemas Informáticos y Computación

Faculty: Informática

Area: Computer Languages and Systems

Email: pjmartin@ucm.es

Doctor by the Universidad Complutense de Madrid with the thesis Métodos de tableaux para lógicas con declaraciones de términos dominios preordenados y operaciones monótonas 2000. Supervised by Dr. Antonio Javier Gavilanes Franco.