Profile
-
Arne Meier
- Institut für Theoretische Informatik - Lehrkräfte für besondere Aufgaben, Professor*in
- Institut für Theoretische Informatik, Arbeitsgruppe Algorithmen - Professor*in
Person: Wissenschaft
-
Disjunctions of Two Dependence Atoms
Fröhlich, N., Kolaitis, P. G. & Meier, A., 18 Feb. 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) . S. 10:1-10:21 21 S.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Open Access -
Modal Fragments
Bezhanishvili, N., Cate, B. T., Ganguly, A. & Meier, A., 2026, (Elektronisch veröffentlicht (E-Pub)).Publikation: Arbeitspapier/Preprint › Preprint
-
Representation Theorems for Cumulative Propositional Dependence Logics.
Kontinen, J., Meier, A. & Sauerwald, K., 2026, (Elektronisch veröffentlicht (E-Pub)).Publikation: Arbeitspapier/Preprint › Preprint