Pages that link to "Item:Q5900552"
From MaRDI portal
The following pages link to Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900552):
Displaying 18 items.
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Theory blending: extended algorithmic aspects and examples (Q2398271) (← links)
- Canonization for disjoint unions of theories (Q2486580) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- Combining SAT methods with non-clausal decision heuristics (Q2848051) (← links)
- An efficient Nelson-Oppen decision procedure for difference constraints over rationals (Q2848687) (← links)
- Model-based theory combination (Q2864402) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
- Connecting many-sorted theories (Q5294025) (← links)
- Logics in Artificial Intelligence (Q5394160) (← links)
- Reasoning About Data Trees Using CHCs (Q6487339) (← links)