Pages that link to "Item:Q5395131"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395131):
Displaying 7 items.
- Automatic decidability and combinability (Q549666) (← links)
- 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)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)