Fabian Müller, M. Sc.

© Institut für Theoretische Informatik
Fabian Müller, M. Sc.
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum
© Institut für Theoretische Informatik
Fabian Müller, M. Sc.
Adresse
Appelstraße 9a
30167 Hannover
Gebäude
Raum
  • Publikationen

    2022


    Haak A, Meier A, Müller F, Vollmer H. Enumerating teams in first-order team logics. Annals of Pure and Applied Logic. 2022 Dez;173(10). 103163.

    doi.org/10.1016/j.apal.2022.103163


    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. Band abs/1902.00246. 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