Pages that link to "Item:Q1141138"
From MaRDI portal
The following pages link to Complexity, convexity and combinations of theories (Q1141138):
Displayed 8 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)