Aguilera, Juan Pablo
- Gödel-Dummett linear temporal logic
2023/06/27 by Juan P. Aguilera, Aguilera, Juan Pablo, Martín Diéguez +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems