The following pages link to (Q3839071):
Displaying 8 items.
- On equal \(\mu \)-terms (Q549186) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Commutative rational term rewriting (Q2232282) (← links)
- Term-Graph Rewriting Via Explicit Paths (Q3522007) (← links)
- GETGRATS (Q4923529) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) (← links)