Maurice Dekker

According to our database, Maurice Dekker authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.

Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023