Pages that link to "Item:Q5387918"
From MaRDI portal
The following pages link to Automatic Combinability of Rewriting-Based Satisfiability Procedures (Q5387918):
Displaying 5 items.
- An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
- Automatic decidability and combinability (Q549666) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) (← links)