The following pages link to Logic Programming (Q5313178):
Displaying 7 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- KBO orientability (Q846165) (← links)
- Tyrolean termination tool: techniques and features (Q876042) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)
- Termination of processes (Q5466792) (← links)