Publicaciones (9) Publicaciones en las que ha participado algún/a investigador/a

1989

  1. 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

  2. From Petri nets to linear logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. 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)

  4. Ordenación mediante arboles binarios

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 22, pp. 53-70

  5. 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)

  6. 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

  7. 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)

  8. 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

  9. 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)