TORELLA, Luca
TORELLA, Luca
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 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 |