research
∙
03/14/2023
Unified Foundations of Team Semantics via Semirings
Semiring semantics for first-order logic provides a way to trace how fac...
share
research
∙
02/27/2023
Logical Characterization of Algebraic Circuit Classes over Integral Domains
We present an adapted construction of algebraic circuits over the reals ...
research
∙
05/11/2020
