Pedro Jesús Martín de la Calle
Original record- Institution
- Universidad Complutense de Madrid
- Year
- 2000
- Country
- Spain
- MGP identifier
- 190112
Dissertation: Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonas
Advisor 1
- Antonio Javier Gavilanes FrancoUniversidad Complutense de Madrid · 1990
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Roberto Torres de Alba | Universidad Complutense de Madrid | 2014 | 0 |