van Gool, Sam

1. Topological Duality for Distributive Lattices: Theory and Applications
   2022/03/07 by Mai Gehrke, Sam van Gool, Gehrke, Mai +1 · 1 voice
   Computer Science · Mathematics · #03G10 #06-01 #06B35 #54-01 #68Q70 #F.3.2 #F.4 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.LO
2. Mechanised uniform interpolation for modal logics K, GL, and iSL
   2024/02/16 by Hugo Férée, Férée, Hugo, Iris van der Giessen +5 · 1 citation
   Computer Science · Engineering · #03B20 #03B45 #03F45 #68V20 #Dynamics and Control of Mechanical Systems #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #I.2.3 #I.2.4 #Logic (math.LO) #Logic in Computer Science (cs.LO)