Pages that link to "Item:Q5881274"
From MaRDI portal
The following pages link to Meta-rule synthesis from crossed rewrite systems (Q5881274):
Displayed 7 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Divergence phenomena during completion (Q5055775) (← 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)