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

1996

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

  2. A rewriting logic for declarative programming

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

  3. Algebraic support for transfomational hardware allocation

    Proceedings of the 1996 European Conference on Design and Test, EDTC 1996

  4. Algebraic support for transformational hardware allocation

    Proceedings of European Design and Test Conference

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

  6. Between fuzzy-PID and PID-conventional controllers: a good choice

    Biennial Conference of the North American Fuzzy Information Processing Society - NAFIPS

  7. Dynamic load balancing in a heterogeneous environment under PVM

    Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing, PDP 1996

  8. EPIDO: A surveillance information system to automatically detect notifiable diseases

    Studies in Health Technology and Informatics

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

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

  11. Functional skeletons generate process topologies in Eden

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

  12. Fuzzy-PID controllers vs. fuzzy-PI controllers

    IEEE International Conference on Fuzzy Systems

  13. 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

  14. New look at pattern matching in abstract data types

    Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

  15. Nuevas herramientas educativas: sistema integral de prácticas de laboratorio asistidas por computador

    Memorias: III Congreso Iberoamericano de Informática Educativa : Barranquilla, 8 al 11 [de julio] de 1996

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

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

  18. Reinforcement learning of sensor-based reaching strategies for a two-link manipulator

    IEEE International Conference on Intelligent Robots and Systems

  19. Supporting object reuse through case-based reasoning

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

  20. Theorem proving modulo associativity

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