A compact fixpoint semantics for term rewriting systems

María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra. A compact fixpoint semantics for term rewriting systems. Theoretical Computer Science, 411(37):3348-3371, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: