Pages that link to "Item:Q5191096"
From MaRDI portal
The following pages link to Combinable Extensions of Abelian Groups (Q5191096):
Displayed 7 items.
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- Model completeness, covers and superposition (Q2305411) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209) (← links)