Departamento
Sistemas Informáticos y Computación
Aportaciones congreso (5) Publicaciones en las que ha participado algún/a investigador/a
1989
-
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)
-
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 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)