Guilherme Vicentin de Toledo

18 papers A 2B 1Journal 11Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Characterizing Sets of Theories That Can Be Disjointly Combined. Proc. ACM Program. Lang. Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2026	J	`jnl`	Combining Combination Properties, Part I: Nelson-Oppen and Politeness. J. Autom. Reason. Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2025	A	`conf`	Being Polite Is Not Enough (and Other Limits of Theory Combination). CADE Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar
2025	J	`jnl`	Being polite is not enough (and other limits of theory combination). CoRR Guilherme Vicentin de Toledo, Benjamin Przybocki, Yoni Zohar
2025	J	`jnl`	Characterizing Sets of Theories That Can Be Disjointly Combined. CoRR Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2025	—	`conf`	Number Theory Combination: Natural Density and SMT. FroCoS Guilherme Vicentin de Toledo, Yoni Zohar
2025	J	`jnl`	Number theory combination: natural density and SMT. CoRR Guilherme Vicentin de Toledo, Yoni Zohar
2025	—	`conf`	Shininess, Strong Politeness, and Unicorns. FroCoS Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2025	J	`jnl`	Shininess, strong politeness, and unicorns. CoRR Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar
2024	B	`conf`	Combining Combination Properties: Minimal Models. LPAR Guilherme Vicentin de Toledo, Yoni Zohar
2024	J	`jnl`	Combining Combination Properties: Minimal Models. CoRR Guilherme Vicentin de Toledo, Yoni Zohar
2024	—	`conf`	The Nonexistence of Unicorns and Many-Sorted Löwenheim-Skolem Theorems. FM (1) Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2024	J	`jnl`	The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems. CoRR Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2023	A	`conf`	Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CADE Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2023	J	`jnl`	Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CoRR Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2023	—	`conf`	Combining Finite Combination Properties: Finite Models and Busy Beavers. FroCoS Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2023	J	`jnl`	Combining Finite Combination Properties: Finite Models and Busy Beavers. CoRR Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
2022	J	`jnl`	Two Decision Procedures for da Costa's C Stud Logica Marcelo E. Coniglio, Guilherme Vicentin de Toledo