Una lógica no estandar admisible para programas funcionales

Tesis de la Universidad Complutense de Madrid,Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Teresa Hortalá González.Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEProQuestpu

Una lógica trivalorada para funciones recursivas parciales

Tesis de la Universidad Complutense de Madrid.Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Mario Rodríguez Artalejo.Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEProQuestpu

Una lógica trivalorada para funciones recursivas parciales

Tesis de la Universidad Complutense de Madrid.Facultad de Ciencias Matemáticas, Departamento de Informática y Automática, leída en Madrid el 3 de febrero de 1990; Dirigida por Mario Rodríguez Artalejo.Sección Deptal. de Sistemas Informáticos y ComputaciónFac. de Ciencias MatemáticasTRUEProQuestpu