The following pages link to Term rewriting in CTΣ (Q5044755):
Displaying 7 items.
- Transitive term graph rewriting (Q1350096) (← links)
- Descendants and origins in term rewriting. (Q1854348) (← links)
- Commutative rational term rewriting (Q2232282) (← links)
- Towards a sharing strategy for the graph rewriting calculus (Q2873680) (← links)
- Algebraic semantics and complexity of term rewriting systems (Q5055729) (← links)
- CPO models for infinite term rewriting (Q5096397) (← links)
- Linear matching-time algorithm for the directed graph isomorphism problem (Q6487989) (← links)