Pages that link to "Item:Q556677"
From MaRDI portal
The following pages link to Model-theoretic methods in combined constraint satisfiability (Q556677):
Displayed 6 items.
- 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)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)