research
∙
03/22/2023
Locality Theorems in Semiring Semantics
Semiring semantics of first-order logic generalises classical Boolean se...
share
research
∙
03/07/2022
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
Semiring semantics evaluates logical statements by values in some commut...
research
∙
06/24/2021
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
This paper presents a case study for the application of semiring semanti...
research
∙
06/01/2021
Computing Least and Greatest Fixed Points in Absorptive Semirings
We present two methods to algorithmically compute both least and greates...
research
∙
11/04/2019
Inferring Lower Runtime Bounds for Integer Programs
We present a technique to infer lower bounds on the worst-case runtime c...
research
∙
10/17/2019