Georg Schindling

According to our database¹, Georg Schindling authored at least 3 papers in 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Deciding Sparseness of Regular Languages of Finite Trees and Infinite Words.

[BibT_eX]

[DOI]

CoRR, July, 2025

Homomorphism Indistinguishability and Game Comonads for Restricted Conjunction and Requantification.

[BibT_eX]

[DOI]

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Finite Variable Counting Logics with Restricted Requantification.

[BibT_eX]

[DOI]

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025