Pages that link to "Item:Q3067476"
From MaRDI portal
The following pages link to Proving Termination Properties with mu-term (Q3067476):
Displaying 4 items.
- Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
- SAT modulo linear arithmetic for solving polynomial constraints (Q438576) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
