Fachbereich
Sistemas Informáticos y Computación
Buchkapitel (2) Publikationen, an denen Forscher/innen teilgenommen haben
1989
-
Un estudio de las funciones parciales en la lógica de primer orden
Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 629-644
-
Un estudio sobre la expresividad en lenguajes de programación funcionales
Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 645-656