Pages that link to "Item:Q5191097"
From MaRDI portal
The following pages link to Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097):
Displaying 10 items.
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Reasoning about algebraic data types with abstractions (Q1694026) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← 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)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← 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)
- (Q4553283) (← links)
