Raoul Koudijs

Affiliations:

ILLC University of Amsterdam, The Netherlands

According to our database¹, Raoul Koudijs authored at least 4 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Learning Horn Envelopes via Queries from Large Language Models.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Characterising Modal Formulas with Examples.

[BibT_eX]

[DOI]

Balder ten Cate

Raoul Koudijs

CoRR, 2022

Local Dependence and Guarding.

[BibT_eX]

[DOI]

Balder ten Cate

Raoul Koudijs

Johan van Benthem

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Finite Model Property and Bisimulation for LFD.

[BibT_eX]

[DOI]

Raoul Koudijs

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Raoul Koudijs

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...