Frontiers of Combining Systems
From MaRDI portal
Publication:5491890
DOI10.1007/11559306zbMath1171.03306OpenAlexW4205914269MaRDI QIDQ5491890
Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11559306
Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Modularity results for interpolation, amalgamation and superamalgamation ⋮ SMT-based verification of data-aware processes: a model-theoretic approach ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis ⋮ Theory decision by decomposition
Uses Software
