The following pages link to (Q4195948):
Displaying 6 items.
- Orderings for term-rewriting systems (Q593789) (← links)
- Natural termination (Q673622) (← links)
- Weighted graphs: A tool for studying the halting problem and time complexity in term rewriting systems and logic programming (Q915431) (← links)
- Termination of rewriting (Q1098624) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Topics in termination (Q5055795) (← links)
