Guillermo Badía
- Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
2022/03/09 by Daniel Găină, Gaina, Daniel, Guillermo Badía +3 · 1 citation
Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Logical Characterizations of Weighted Complexity Classes
2024/04/27 by Guillermo Badía, Manfred Droste, Badia, Guillermo +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge