Pages that link to "Item:Q1810855"
From MaRDI portal
The following pages link to Cooperation of background reasoners in theory reasoning by residue sharing (Q1810855):
Displaying 11 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Combining nonstably infinite theories (Q851136) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Ground Interpolation for the Theory of Equality (Q3617772) (← links)
- Quantifier Elimination and Provers Integration (Q4916219) (← links)
- Combining Non-Stably Infinite Theories (Q4916220) (← links)