Pages that link to "Item:Q1671151"
From MaRDI portal
The following pages link to Analysis of rewriting-based systems as first-order theories (Q1671151):
Displaying 6 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- Automatically Proving and Disproving Feasibility Conditions (Q5049020) (← links)
- (Q5369502) (← links)