Pages that link to "Item:Q5395131"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395131):
Displayed 3 items.
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets (Q3617773) (← links)
- Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209) (← links)