vix.ing · top · new · best · stats · spec

Guilherme Toledo

  1. Combining Finite Combination Properties: Finite Models and Busy Beavers
    2023/07/15 by Guilherme Toledo, Toledo, Guilherme, Yoni Zohar +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