The following pages link to Logic Programming (Q5313178):
Displayed 5 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)
- Jumping and escaping: modular termination and the abstract path ordering (Q1929229) (← links)