research
∙
09/25/2022
A characterization of functions over the integers computable in polynomial time using discrete differential equations
This paper studies the expressive and computational power of discrete Or...
share
research
∙
05/01/2022
Enumeration Classes Defined by Circuits
We refine the complexity landscape for enumeration problems by introduci...
research
∙
04/01/2022
Modular SAT-based techniques for reasoning tasks in team semantics
We study the complexity of reasoning tasks for logics in team semantics....
research
∙
10/16/2020
Enumerating Answers to First-Order Queries over Databases of Low Degree
A class of relational databases has low degree if for all δ>0, all but f...
research
∙
10/04/2018
Recursion schemes, discrete differential equations and characterization of polynomial time computation
This papers studies the expressive and computational power of discrete O...
research
∙
03/06/2018
Probabilistic team semantics
Team semantics is a semantical framework for the study of dependence and...
research
∙
10/05/2017
Model-Theoretic Characterizations of Boolean and Arithmetic Circuit Classes of Small Depth
In this paper we give a characterization of both Boolean and arithmetic ...
research
∙
01/24/2014