Département
Sistemas Informáticos y Computación
Publications (9) Publications auxquelles un chercheur a participé
1989
-
Editor de archivos y de lineas para reduce: o como hacer el trabajo mas cómodo a los matemáticos usuarios de este lenguaje
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 22, pp. 39-44
-
From Petri nets to linear logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Mizar/Log: una mplementación del sistema Mizar-Mse en un lenguaje de programación lógico
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
-
Ordenación mediante arboles binarios
Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 22, pp. 53-70
-
Specification and verification of TCSP systems by means of partial abstract data types
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Un estudio de las funciones parciales en la lógica de primer orden
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
-
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
-
Un estudio sobre la expresividad en lenguajes de programación funcionales
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)