The following pages link to Implementing contextual rewriting (Q5881200):
Displaying 13 items.
- Scattered versus context-sensitive rewriting (Q1115634) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- Transforming Outermost into Context-Sensitive Rewriting (Q3575304) (← links)
- (Q3789044) (← links)
- (Q4222858) (← links)
- (Q4222980) (← links)
- Context rewriting (Q5881173) (← links)
- Conditional rewriting in focus (Q5881263) (← links)
- Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties (Q6135743) (← links)