Facultad
Informática
Publicaciones (20) 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)
-
Aplique 1,2,3: versión 3
McGraw-Hill Interamericana de España
-
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)
-
Hoare's logic for nondeterministic regular programs: A nonstandard approach
Theoretical Computer Science, Vol. 68, Núm. 3, pp. 277-302
-
Laser-induced Nernst-Ettingshausen effect: Anomalous dependency on the magnetic field
Physical Review B, Vol. 40, Núm. 12, pp. 8252-8255
-
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
-
Nonlinear effects in the wave equation with a cubic restoring force
Computational Mechanics, Vol. 5, Núm. 1, pp. 49-72
-
Robótica industrial: tecnología, programación y aplicaciones
McGraw Hill España
-
Simulación de una máquina secuencial de programación lógica
Revista de informática y automática, Año 22, Núm. 1, pp. 55-63
-
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)
-
Study of the complexity of an algorithm to derive the complement of a binary function
International Journal of Electronics, Vol. 66, Núm. 3, pp. 333-337
-
Turbo C: programación avanzada
McGraw-Hill Interamericana de España
-
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)
-
Un proyecto de desarrollo de un demostrador interactivo basado en MIZAR
Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 685-692
-
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)