TORELLA, Luca
TORELLA, Luca
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting
2013-01-01 Comini, Marco; Torella, Luca
Automatic Inference of Term Equivalence in Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems
2013-01-01 Comini, Marco; Torella, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Condensed Goal-Independent Fixpoint Semantics Modeling the Small-Step Behavior of Rewriting | 1-gen-2013 | Comini, Marco; Torella, Luca | |
Automatic Inference of Term Equivalence in Term Rewriting Systems | 1-gen-2013 | Comini, Marco; Torella, Luca | |
TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems | 1-gen-2013 | Comini, Marco; Torella, Luca |