Publikationen pro Jahr
Publikationen pro Jahr
Profile
-
Arne Meier
- Institut für Theoretische Informatik, Arbeitsgruppe Algorithmen - Professor*in
- Institut für Theoretische Informatik - Lehrkräfte für besondere Aufgaben, Professor*in
Person: Wissenschaft
-
A Circuit-Theoretic View of FO over Semirings
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M. J., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A. & Strieker, L., 29 Juli 2026, Logic, Language, Information, and Computation: 32nd International Workshop. Johann, P. & de Queiroz, R. (Hrsg.). S. 111-125 15 S. (Lecture Notes in Computer Science; Band 16757 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
-
Aspects of Coherence in Dependence Logic
Barlag, T., Fröhlich, N., Hannula, M., Kolaitis, P. G., Kontinen, J., Meier, A. & Väänänen, J., 2026, (Elektronisch veröffentlicht (E-Pub)).Publikation: Arbeitspapier/Preprint › Preprint
Open Access -
Complexity of Logics with Semiring Semantics
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A. & Strieker, L., 20 Juli 2026, Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning. S. 123–133 (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
Open Access