31 citations · 88 across the 8 of their papers we have counts for
1 paper · 1 filter
Alberto Verdejo, Narciso Martí-Oliet
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control t…