Pages that link to "Item:Q5881270"
From MaRDI portal
The following pages link to On finite representations of infinite sequences of terms (Q5881270):
Displayed 5 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- On the non-termination of MDG-based abstract state enumeration (Q1399962) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)