Estás aquí

Una traducción de la teoría de tipos proposicional híbrida ecuacional (EHPTT) a la lógica multivariada de primer orden (MSL)

Fecha Lectura de Tesis:

12/05/2023

Defendida:

Sí

Estudiante:

José Javier González López

Tutor/a:

Manzano Arjona, María

Director/a:

Moldovan, Andrei

Manzano Arjona, María

Institución:

Universidad de Salamanca