Article,

A compact fixpoint semantics for term rewriting systems.

, , , , and .
Theor. Comput. Sci., 411 (37): 3348-3371 (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews