A Compact Fixpoint Semantics for Term Rewriting Systems
Autores UPV | MARCO COMINI, M. Falaschi, Iborra López José, Escobar Román Santiago, Alpuente Frasnedo María |
---|---|
Año | 2010 |
Revista | Theoretical Computer Science |
Autores UPV | MARCO COMINI, M. Falaschi, Iborra López José, Escobar Román Santiago, Alpuente Frasnedo María |
---|---|
Año | 2010 |
Revista | Theoretical Computer Science |