Pages that link to "Item:Q1041593"
From MaRDI portal
The following pages link to Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593):
Displaying 5 items.
- A superposition calculus for abductive reasoning (Q2013317) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
