Timon Barlag

Department of Computer Science

Research Associate in Computer Science Logic

t.barlag@sheffield.ac.uk

Regent Court (DCS)

Full contact details

Timon Barlag
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP

Publications

Barlag T & Vollmer H (2021) A Logical Characterization of Constant-Depth Circuits over the Reals, Logic, Language, Information, and Computation (pp. 16-30). Springer International Publishing

Barlag T, Hannula M, Kontinen J, Pardal N & Virtema J (2023) Unified Foundations of Team Semantics via Semirings.
Barlag T & Vollmer H (2020) A Logical Characterization of Constant-Depth Circuits over the Reals.
Barlag T, Chudigiewitsch F & Gaube S () Logical Characterization of Algebraic Circuit Classes over Integral Domains.