The following pages link to Frontiers of Combining Systems (Q5491890):
Displaying 5 items.
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) (Q2051565) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
