Pages that link to "Item:Q876042"
From MaRDI portal
The following pages link to Tyrolean termination tool: techniques and features (Q876042):
Displaying 9 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- Uncurrying for termination and complexity (Q352959) (← links)
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- KBO orientability (Q846165) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Context-sensitive dependency pairs (Q989290) (← links)
- Match-bounds revisited (Q1041044) (← links)
- Increasing interpretations (Q1044231) (← links)
- Transforming orthogonal inductive definition sets into confluent term rewrite systems (Q2141298) (← links)
