JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
José
Merseguer
Publicaciones en las que colabora con José Merseguer (5)
2023
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2009
-
A Rewriting Semantics for Maude Strategies
Electronic Notes in Theoretical Computer Science, Vol. 238, Núm. 3, pp. 227-247
2008
-
A Rewriting semantics for Maude strategies
Electronic Notes in Theoretical Computer Science
2007
-
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25
2005
-
Towards a strategy language for Maude
Electronic Notes in Theoretical Computer Science