Pages that link to "Item:Q3454111"
From MaRDI portal
The following pages link to A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111):
Displaying 5 items.
- 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)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- (Q4553283) (← links)
