Yde Venema

1. Irreducible Equivalence Relations, Gleason Spaces, and de Vries Duality
   2016/04/20 by Guram Bezhanishvili, Nick Bezhanishvili, Sumit Sourabh +1 · 2 citations
   Computer Science · Mathematics · #Advanced Algebra and Logic #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge
2. Expressiveness of the modal mu-calculus on monotone neighborhood structures
   2015/02/27 by Sebastian Enqvist, Enqvist, Sebastian, Fatemeh Seifan +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Parity Games and Automata for Game Logic (Extended Version)
   2017/09/03 by Helle Hvid Hansen, Clemens Kupke, Hansen, Helle Hvid +5 · 1 citation
   Computer Science · #Artificial Intelligence in Games #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
4. Focus-style proof systems and interpolation for the alternation-free μ-calculus
   2021/03/02 by Johannes Marti, Marti, Johannes, Yde Venema +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata
   2023/07/13 by Maurice Dekker, Johannes Kloibhofer, Dekker, Maurice +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
6. Focus-style proofs for the two-way alternation-free μ-calculus
   2023/07/04 by Jan Rooduijn, Rooduijn, Jan, Yde Venema +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory