The following pages link to (Q3725541):
Displaying 7 items.
- Chain properties of rule closures (Q916402) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- Divergence phenomena during completion (Q5055775) (← links)
- Chain properties of rule closures (Q5096168) (← links)
- It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (Q5096169) (← links)
- On finite representations of infinite sequences of terms (Q5881270) (← links)
