Dino Rossegger
- The structural complexity of models of arithmetic
2022/08/02 by Antonio Montalbán, Montalbán, Antonio, Dino Rossegger +1 · 1 citation
Computer Science · #03C62 #03E15 #03H15 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge