-
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 -
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation
Mahmood, Y., Virtema, J., Barlag, T. & Ngomo, A. C. N., 29 Mar 2024, Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024. Meier, A. & Ortiz, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-42 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14589 LNCS).Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
Projects
- 1 Finished
-
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