Louwe Kuijer

According to our database, Louwe Kuijer authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting.

Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev

CoRR, April, 2025

2024

Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract).

Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024