1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Thierry Boy de la Tour
What does it mean for an algebraic rewrite rule to subsume another rule (that may then be called a subrule)? We view subsumptions as rule morphisms such that the simultaneous appli…