Aportaciones congreso (5) Publicaciones en las que ha participado algún/a investigador/a

1989

  1. From Petri nets to linear logic

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

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

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

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

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