5 citations · 6 across the 2 of their papers we have counts for
1 paper · 2 filters
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…