The following pages link to (Q4649558):
Displaying 11 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
- Church-Rosser theorem for a rewriting system on categorical combinators (Q1119562) (← links)
- A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser (Q1854476) (← links)
- Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Normal Higher-Order Termination (Q2946769) (← links)
- Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation (Q4031104) (← links)
- Confluence: The Unifying, Expressive Power of Locality (Q5403076) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)