Guilherme Vicentin de Toledo

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Top Venues

Publications

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems. CoRR (2024)
Guilherme Vicentin de Toledo, Yoni Zohar
Combining Combination Properties: Minimal Models. LPAR (2024)
Guilherme Vicentin de Toledo, Yoni Zohar
Combining Combination Properties: Minimal Models. CoRR (2024)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Finite Combination Properties: Finite Models and Busy Beavers. CoRR (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Finite Combination Properties: Finite Models and Busy Beavers. FroCoS (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CoRR (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CADE (2023)