Facultad
Informática
Aportaciones congreso (9) Publicaciones en las que ha participado algún/a investigador/a
1989
-
An algorithm on quasi-ordinary polynomials
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Computing with algebraic series
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
-
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)
-
Neuroendocrine markers in Alzheimer's disease: New prospects for diagnosis and treatment
Recent advances in basic and clinical neuroendocrinology: proceedings of the 4th Meeting of the European Neuroendocrine Association. ICS864
-
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)
-
Un proyecto de desarrollo de un demostrador interactivo basado en Mizar
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)