Pages that link to "Item:Q3084983"
From MaRDI portal
The following pages link to Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator (Q3084983):
Displayed 9 items.
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← 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)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)