Manuel Ojeda-Aciego
Original record- Institution
- Universidad de Málaga
- Year
- 1996
- Country
- Spain
- MGP identifier
- 52889
Dissertation: Métodos de normalización en lógicas de primer orden usando la metodologia TAS
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Inmaculada Pérez de GuzmánUniversidad de Granada · 1978
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Nicolás Madrid-Labrador | Universidad de Málaga | 2011 | 0 |
| Jesús Medina Moreno | Universidad de Málaga | 2002 | 1 |
| Salvador Merino Córdoba | Universidad de Málaga | 2003 | 0 |
| Jorge Ruiz Calviño | Universidad de Málaga | 2008 | 0 |
| Agustin Valverde Ramos | Universidad de Málaga | 1998 | 1 |