14 citations · 22 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Generic Encodings of Constructor Rewriting Systems
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…
cs.LO2018
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Horatiu Cirstea, David Sabel
This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September…