1 citations · 2 across the 3 of their papers we have counts for
2 papers
cs.LO2025
Being polite is not enough (and other limits of theory combination)
Guilherme V. Toledo, Benjamin Przybocki, Yoni Zohar
In the Nelson-Oppen combination method for satisfiability modulo theories, the combined theories must be stably infinite; in gentle combination, one theory has to be gentle, and th…
math.LO2021★ 1 cited
Restricted swap structures for da Costa's and their category
Marcelo E. Coniglio, Guilherme V. Toledo
In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize Nmatrices in the following sense: a RNmatrix is a Nmatrix together…