Sistemas Informáticos y Computación

2000

1. Automatic generation of algorithm animations in a programming environment

   Proceedings - Frontiers in Education Conference

2. Bisimilarity congruences for open terms and term graphs via tile logic

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

3. Complete monotonic semantic path orderings

   Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

4. Decidability of properties of timed-arc Petri nets

   Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

5. Decidability of properties of timed-arc petri nets

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

6. Describing AI analysis patterns with UML

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

7. EXERCITA: una base de datos de material para prácticas de programación

   VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones

8. Extensions: A technique for structuring functional-logic programs

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

9. From GranSim to paradise

   TRENDS IN FUNCTIONAL PROGRAMMING

10. Fundamental group of plane curves and related invariants

    Contribuciones matemáticas: libro homenaje al profesor D. Joaquín Arregui Fernández (Editorial Complutense), pp. 77-104

11. Implementing CCS in Maude

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

12. Improving functional logic programs by difference-lists

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

13. La enseñanza de Java en los estudios de Informática

    VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones

14. Modelos contextuales multidimensionales en la enseñanza hipermedia de la historia

    Redes, multimedia y diseños virtuales

15. Modular redundancy for theorem proving

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

16. Monotonic preorders for free variable tableaux

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

17. NMSPA: a non-Markovian model for stochastic processes

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000

18. Optimizing Eden by transformation

    TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2

19. Polytypic programming in Maude

    Electronic Notes in Theoretical Computer Science

20. Proving failure in functional logic programs

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)