Main menu
You are here
, “A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting”. 2013.
, “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.