The following pages link to Connecting many-sorted theories (Q5294025):
Displaying 6 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← 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)
