MIGUEL
PALOMINO TARJUELO
Profesor titular de universidad
JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
Publicaciones en las que colabora con JOSÉ ALBERTO VERDEJO LÓPEZ (6)
2012
-
Rewriting logic bibliography by topic: 1990-2011
Journal of Logic and Algebraic Programming
2009
-
Rewriting logic using strategies for neural networks: An implementation in Maude
Advances in Soft Computing
2007
-
Strategies and simulations in a semantic framework
Journal of Algorithms, Vol. 62, Núm. 3-4, pp. 95-116
2006
-
Introducción a la computación
Grupo Anaya
2005
-
A tutorial on specifying data structures in Maude
Electronic Notes in Theoretical Computer Science
-
Playing with Maude
Electronic Notes in Theoretical Computer Science