Faculty
Informática
Conference papers (21) Publications in which a researcher has participated
1996
-
A recursive path ordering for higher-order terms in η-long β-normal form
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A rewriting logic for declarative programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Algebraic support for transfomational hardware allocation
Proceedings of the 1996 European Conference on Design and Test, EDTC 1996
-
Algebraic support for transformational hardware allocation
Proceedings of European Design and Test Conference
-
Aspectos algorítmicos de algunos problemas de Geometría semialgebraica
Segundo Encuentro de Álgebra Computacional y Aplicaciones: Sevilla, 26 y 27 de Septiembre de 1996
-
Between fuzzy-PID and PID-conventional controllers: a good choice
Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS
-
Dynamic load balancing in a heterogeneous environment under PVM
Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996
-
EPIDO: A surveillance information system to automatically detect notifiable diseases
Studies in Health Technology and Informatics
-
Formalismos lógicos para el procesamiento del lenguaje natural
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996)
-
Free variable tableaux for a many sorted logic with preorders
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Functional skeletons generate process topologies in Eden
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Fuzzy-PID controllers vs. fuzzy-PI controllers
IEEE International Conference on Fuzzy Systems
-
Influence of the Information Processing in Fuzzy Logic Controllers
Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España
-
New look at pattern matching in abstract data types
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
-
Proving progress properties of non terminating programs under fairness assumptions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reasoning with preorders and dynamic sorts using free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Reinforcement learning of sensor-based reaching strategies for a two-link manipulator
IEEE International Conference on Intelligent Robots and Systems
-
Supporting object reuse through case-based reasoning
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Theorem proving modulo associativity
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Tuning fuzzy logic controllers by classical techniques
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)