A Compact Fixpoint Semantics for Term Rewriting Systems

Alpuente Frasnedo María, MARCO COMINI, Escobar Román Santiago, M. Falaschi, Iborra López José

2010

Theoretical Computer Science