Pages that link to "Item:Q1262755"
From MaRDI portal
The following pages link to Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755):
Displaying 6 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Chain properties of rule closures (Q916402) (← links)
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- On the non-termination of MDG-based abstract state enumeration (Q1399962) (← links)
- Proving equational and inductive theorems by completion and embedding techniques (Q5055774) (← links)
- Completion of rewrite systems with membership constraints (Q5204334) (← links)
