Pages that link to "Item:Q3655212"
From MaRDI portal
The following pages link to Combining Theories with Shared Set Operations (Q3655212):
Displaying 12 items.
- On deciding satisfiability by theorem proving with speculative inferences (Q438533) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- On automation in the verification of software barriers: experience report (Q2351145) (← links)
- Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems (Q2408742) (← links)
- Automated reasoning with restricted intensional sets (Q2666960) (← links)
- Sets with Cardinality Constraints in Satisfiability Modulo Theories (Q3075499) (← links)
- Combining Theories: The Ackerman and Guarded Fragments (Q3172881) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- Combinations of Theories for Decidable Fragments of First-Order Logic (Q3655205) (← links)
- Combining Theories with Shared Set Operations (Q3655212) (← links)
- On algebraic array theories (Q6192058) (← links)
