1 citations · 1 across the 3 of their papers we have counts for
3 papers · 1 filter
Characterizing Sets of Theories That Can Be Disjointly Combined
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar
We study properties that allow first-order theories to be disjointly combined, including stable infiniteness, shininess, strong politeness, and gentleness. Specifically, we describ…
Shininess, strong politeness, and unicorns
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar
Shininess and strong politeness are properties related to theory combination procedures. In a paper titled "Many-sorted equivalence of shiny and strongly polite theories", Casal an…
Number theory combination: natural density and SMT
Guilherme V. Toledo, Yoni Zohar
The study of theory combination in Satisfiability Modulo Theories (SMT) involves various model theoretic properties (e.g., stable infiniteness, smoothness, etc.). We show that such…