The following pages link to Slothrop (Q21994):
Displaying 11 items.
- Multi-completion with termination tools (Q352956) (← links)
- Paramodulation with non-monotonic orderings and simplification (Q352977) (← links)
- KBCV – Knuth-Bendix Completion Visualizer (Q2908523) (← links)
- Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion (Q3454089) (← links)
- Multi-completion with Termination Tools (System Description) (Q3541711) (← links)
- Proving Injectivity of Functions via Program Inversion in Term Rewriting (Q3558345) (← links)
- (Q4993362) (← links)
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods (Q5043598) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- AC Completion with Termination Tools (Q5200044) (← links)
- (Q5389156) (← links)