Pages that link to "Item:Q5881270"
From MaRDI portal
The following pages link to On finite representations of infinite sequences of terms (Q5881270):
Displaying 10 items.
- Solving divergence in Knuth--Bendix completion by enriching signatures (Q685379) (← links)
- Finite notations for infinite terms (Q1295405) (← links)
- On the non-termination of MDG-based abstract state enumeration (Q1399962) (← links)
- Higher order unification via explicit substitutions (Q1854337) (← links)
- Recurrence domains: Their unification and application to logic programming (Q1900314) (← links)
- (Q3970985) (← links)
- (Q4557421) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)
- Finite State Incompressible Infinite Sequences (Q5410635) (← links)
- A strategy to deal with divergent rewrite systems (Q5881210) (← links)