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 11 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)
- Confluence of terminating membership conditional TRS (Q5881201) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)
- A new approach to general E-unification based on conditional rewriting systems (Q5881211) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
