Fabian Müller

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Quantifier Elimination

Conditional Logic

Classical First Order Logic

Top Venues

Ann. Pure Appl. Log.

Publications

Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
Enumerating teams in first-order team logics. Ann. Pure Appl. Log. 173 (10) (2022)
Anselm Haak, Arne Meier, Fabian Müller, Heribert Vollmer
Enumerating Teams in First-Order Team Logics. CoRR (2020)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. CoRR (2019)
Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
Counting of Teams in First-Order Team Logics. MFCS (2019)