The following pages link to Context rewriting (Q5881173):
Displaying 12 items.
- Term context (Q502697) (← links)
- On equal \(\mu \)-terms (Q549186) (← links)
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Scattered versus context-sensitive rewriting (Q1115634) (← links)
- Developing developments (Q1392147) (← links)
- Rewriting (Q2751361) (← links)
- Transforming Outermost into Context-Sensitive Rewriting (Q3575304) (← links)
- (Q3787463) (← links)
- (Q3826117) (← links)
- (Q4222858) (← links)
- (Q4222980) (← links)
- A typed context calculus (Q5958759) (← links)