Timon Barlag

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, (E-pub ahead of print).
Research output: Working paper/Preprint › Preprint

Open Access
A logical characterization of constant-depth circuits over the reals
Barlag, T. & Vollmer, H., Sept 2025, In: Journal of logic and computation. 35, 6, exae051.
Research output: Contribution to journal › Article › Research › peer review
Logical Approaches to Non-deterministic Polynomial Time over Semirings
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J. A., Meier, A. & Strieker, L., 2025, (E-pub ahead of print).
Research output: Working paper/Preprint › Preprint

Open Access
Logic and Computation Through the Lens of Semirings
Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A. & Strieker, L., 18 Feb 2025, (E-pub ahead of print).
Research output: Working paper/Preprint › Technical report › Research
Parallel Computation with Algebraic Structures: A Circuitous Route
Barlag, T., 23 Dec 2025, Hannover: Leibniz Universität Hannover. 190 p.
Research output: Thesis › Doctoral thesis

Open Access

Applications and complexity of logics in semiring team semantics
Meier, A. (Principal Investigator), Vollmer, H. (Project staff), Barlag, T. (Project staff), Fröhlich, N. F. H. (Project staff), Holzapfel, V. (Project staff) & Strieker, L. (Project staff)
1 Jan 2024 → 31 Dec 2025
Project: Research

Research output