Información del autor
Documentos disponibles escritos por este autor (1)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Rubio Cuellar, Rubén ; Martí Oliet, Narciso ; Pita Andreu, Isabel ; Verdejo López, José Alberto | 2019-06-27Strategies are widespread in Computer Science. In the domain of reduction and rewriting systems, strategies are studied as recipes to restrict and control reduction steps and rule applications, which are intimately local, in a derivation-global [...]
