Inicio

    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: 
Institución: 
Universidad de Salamanca