Pages that link to "Item:Q556677"

The following pages link to Model-theoretic methods in combined constraint satisfiability (Q556677):

Displaying 29 items.

• On the verification of security-aware E-services (Q429592) (← links)
• A decidability result for the model checking of infinite-state systems (Q438572) (← links)
• Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
• Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
• Combination of uniform interpolants via Beth definability (Q2090132) (← links)
• Combined covers and Beth definability (Q2096445) (← links)
• Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
• Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
• Model completeness, covers and superposition (Q2305411) (← links)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
• Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
• Decision procedures for term algebras with integer constraints (Q2432767) (← links)
• Decision procedures for extensions of the theory of arrays (Q2457800) (← links)
• Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
• On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
• Applications of Hierarchical Reasoning in the Verification of Complex Systems (Q2864523) (← links)
• A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
• Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)
• Satisfiability Modulo Theories (Q3176369) (← links)
• A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
• Ground Interpolation for the Theory of Equality (Q3617772) (← links)
• Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)
• Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209) (← links)
• Combining Theories with Shared Set Operations (Q3655212) (← links)
• On Combinations of Local Theory Extensions (Q4916087) (← links)
• (Q5094139) (← links)
• SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
• Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
• On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)