Profiles
-
Arne Meier
- Institute of Theoretical Computer Science - Teaching Staff with Special Duties, Professor
- Institute of Theoretical Computer Science, Research Group Algorithms - Professor
Person: Academic
-
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) . Guerrini, S. & Konig, B. (eds.). p. 10:1-10:21 21 p. 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 363).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Open Access -
Modal Fragments
Bezhanishvili, N., Cate, B. T., Ganguly, A. & Meier, A., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint
-
Representation Theorems for Cumulative Propositional Dependence Logics.
Kontinen, J., Meier, A. & Sauerwald, K., 2026, (E-pub ahead of print).Research output: Working paper/Preprint › Preprint