2 citations · 2 across the 3 of their papers we have counts for
3 papers
Logical Approaches to Non-deterministic Polynomial Time over Semirings
Timon Barlag, Nicolas Fröhlich, Teemu Hankala +6
We provide a logical characterization of non-deterministic polynomial time defined by BSS machines over semirings via existential second-order logic interpreted in the semiring sem…
Unified Foundations of Team Semantics via Semirings
Timon Barlag, Miika Hannula, Juha Kontinen +2
Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for st…
Logical Characterization of Algebraic Circuit Classes over Integral Domains
Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube
We present an adapted construction of algebraic circuits over the reals introduced by Cucker and Meer to arbitrary infinite integral domains and generalize the $\mathrm{AC}_{\mathb…