You are here

Publications

Export 2 results:
Filters: Author is Luca Torella  [Clear All Filters]
Conference Proceedings
M. Comini and Torella, L., TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems, ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13). 2013.