The following pages link to Chain properties of rule closures (Q916402):
Displaying 4 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
