The following pages link to Beyond Dependency Graphs (Q5191112):
Displaying 5 items.
- Proving termination by dependency pairs and inductive theorem proving (Q438537) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- (Q4005179) (← links)
- (Q4888249) (← links)
- Dependencies for Graphs (Q5012611) (← links)