The following pages link to (Q2778880):
Displaying 21 items.
- Lazy productivity via termination (Q549188) (← links)
- Transfinite semantics in the form of greatest fixpoint (Q843215) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- A finiteness condition for rewriting systems (Q1331943) (← links)
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems (Q1707978) (← links)
- On the descriptive power of term rewriting systems (Q1819932) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Right-linear half-monadic term rewrite systems (Q1884902) (← links)
- Bounded, strongly sequential and forward-branching term rewriting systems (Q1892142) (← links)
- Transfinite reductions in orthogonal term rewriting systems (Q1893727) (← links)
- Infinitary rewriting: closure operators, equivalences and models (Q2376981) (← links)
- On modularity in infinitary term rewriting (Q2496298) (← links)
- Correct and complete (positive) strategy annotations for \textsf{OBJ} (Q2851049) (← links)
- (Q3719825) (← links)
- (Q4222997) (← links)
- (Q4535007) (← links)
- (Q4799892) (← links)
- (Q4942275) (← links)
- Algebraic semantics and complexity of term rewriting systems (Q5055729) (← links)
- Correctness of Context-Moving Transformations for Term Rewriting Systems (Q5743602) (← links)
- Extended term rewriting systems (Q5881265) (← links)
