Pages that link to "Item:Q2432767"
From MaRDI portal
The following pages link to Decision procedures for term algebras with integer constraints (Q2432767):
Displaying 7 items.
- Quantitative separation logic and programs with lists (Q707740) (← 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)
- Locality Results for Certain Extensions of Theories with Bridging Functions (Q5191097) (← links)
- Automated Reasoning (Q5307055) (← links)
- Theorem Proving in Higher Order Logics (Q5464659) (← links)