Fabian Müller, M. Sc.

Fabian Müller, M. Sc.
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum

2020


Haak A, Meier A, Müller F, Vollmer H. Enumerating Teams in First-Order Team Logics. 2020.


2019


Haak A, Kontinen J, Müller F, Vollmer H, Yang F. Counting of teams in first-order team logics. in 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2019. S. 19:1-19:15. 19. (Leibniz International Proceedings in Informatics, LIPIcs). doi.org/10.4230/LIPIcs.MFCS.2019.19