Pages that link to "Item:Q2305421"
From MaRDI portal
The following pages link to Automatic generation of logical models with AGES (Q2305421):
Displaying 7 items.
- AGES (Q43995) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- mu-term: Verify Termination Properties Automatically (System Description) (Q5049021) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Proving confluence in the confluence framework with confident (Q6622001) (← links)
