14 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
Horatiu Cirstea, Pierre-Etienne Moreau
Rewriting is a formalism widely used in computer science and mathematical logic. The classical formalism has been extended, in the context of functional languages, with an order ov…