Pages that link to "Item:Q2864522"
From MaRDI portal
The following pages link to An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types (Q2864522):
Displaying 6 items.
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- Syntax-guided quantifier instantiation (Q2233503) (← links)
- Efficiently solving quantified bit-vector formulas (Q2441770) (← links)
- An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types (Q2864522) (← links)
- Rewrite-Based Satisfiability Procedures for Recursive Data Structures (Q2864524) (← links)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
