Departamento
Sistemas Informáticos y Computación
Publicaciones (30) Publicaciones en las que ha participado algún/a investigador/a
2000
-
Automatic generation of algorithm animations in a programming environment
Proceedings - Frontiers in Education Conference
-
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)
-
Complete monotonic semantic path orderings
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
-
Decidability of properties of timed-arc Petri nets
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
-
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)
-
Describing AI analysis patterns with UML
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
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)
-
From GranSim to paradise
TRENDS IN FUNCTIONAL PROGRAMMING
-
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
-
Implementing CCS in Maude
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
-
Improving functional logic programs by difference-lists
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
Modelos contextuales multidimensionales en la enseñanza hipermedia de la historia
Redes, multimedia y diseños virtuales
-
Modular redundancy for theorem proving
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Monotonic preorders for free variable tableaux
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
NMSPA: a non-Markovian model for stochastic processes
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
-
Optimizing Eden by transformation
TRENDS IN FUNCTIONAL PROGRAMMING, VOL 2
-
Polytypic programming in Maude
Electronic Notes in Theoretical Computer Science
-
Proving failure in functional logic programs
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)