Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
Instituto IMDEA Software
Pozuelo de Alarcón, EspañaPublicaciones en colaboración con investigadores/as de Instituto IMDEA Software (4)
2015
-
Two decades of Maude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318
2009
-
Type-based homeomorphic embedding for online termination
Information Processing Letters, Vol. 109, Núm. 15, pp. 879-886
-
Unification and narrowing in maude 2.4
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)