JOSÉ ALBERTO
VERDEJO LÓPEZ
Profesor titular de universidad
SRI International
San José, EE. UU.Publicaciones en colaboración con investigadores/as de SRI International (2)
2023
-
The Maude strategy language
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2007
-
Deduction, Strategies, and Rewriting
Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 11 SPEC. ISS., pp. 3-25