Toledo, Guilherme

1. Combining Finite Combination Properties: Finite Models and Busy Beavers
   2023/07/15 by Guilherme Toledo, Yoni Zohar, Toledo, Guilherme +3 · 3 citations
   Computer Science · #Artificial Intelligence in Games #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
2. The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
   2024/06/27 by Przybocki, Benjamin, Toledo, Guilherme, Zohar, Yoni +1 · 3 citations
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)