Pages that link to "Item:Q3525000"
From MaRDI portal
The following pages link to Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions (Q3525000):
Displaying 8 items.
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- Abduction of distributed theories through local interactions (Q2999224) (← links)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- (Q5483003) (← links)
- On Hierarchical Reasoning in Combinations of Theories (Q5747749) (← links)