Maurice Dekker

Orcid: 0009-0009-4050-7635

According to our database1, Maurice Dekker authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

2023
2024
0
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Barely Decidable Fragments of Planning.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023
Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023


  Loading...