Fabian Müller

Affiliations:

According to our database¹, Fabian Müller authored at least 3 papers between 2019 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Counting and enumerating in first-order team logics.

[BibT_eX]

[DOI]

PhD thesis, 2024

2022

Enumerating teams in first-order team logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2022

2019

Counting of Teams in First-Order Team Logics.

[BibT_eX]

[DOI]

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019