Sistemas Informáticos y Computación

1999

1. A design strategy for low cost experimental telerobotics platforms

   Robot and Human Communication - Proceedings of the IEEE International Workshop

2. A fully syntactic AC-RPO

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

3. A functional-logic perspective of parsing

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

4. A partial evaluation framework for curry programs

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

5. An axiomatization of probabilistic testing

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

6. Denotational semantics for probabilistic refusal testing

   Electronic Notes in Theoretical Computer Science

7. Functional plus logic programming with built-in and symbolic constraints

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

8. Implementing Eden - Or: Dreams become reality?

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

9. On non-decidability of reachability for timed-arc Petri nets

   Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

10. Paramodulation with non-monotonic orderings

    Proceedings - Symposium on Logic in Computer Science

11. Relating may and must testing semantics for discrete timed process algebras

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

12. TOY: A multiparadigm declarative system

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

13. The maude system

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

14. Using reflection to specify transaction sequences in rewriting logic

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