Department
Sistemas Informáticos y Computación
Conference papers (14) Publications in which a researcher has participated
1999
-
A design strategy for low cost experimental telerobotics platforms
Robot and Human Communication - Proceedings of the IEEE International Workshop
-
A fully syntactic AC-RPO
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A functional-logic perspective of parsing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A partial evaluation framework for curry programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An axiomatization of probabilistic testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Denotational semantics for probabilistic refusal testing
Electronic Notes in Theoretical Computer Science
-
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)
-
Implementing Eden - Or: Dreams become reality?
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
On non-decidability of reachability for timed-arc Petri nets
Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
-
Paramodulation with non-monotonic orderings
Proceedings - Symposium on Logic in Computer Science
-
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)
-
TOY: A multiparadigm declarative system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
The maude system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)