research
∙
10/01/2022
Executable First-Order Queries in the Logic of Information Flows
The logic of information flows (LIF) has recently been proposed as a gen...
share
research
∙
09/14/2022
Inputs, Outputs, and Composition in the Logic of Information Flows
The logic of information flows (LIF) is a general framework in which tas...
research
∙
11/15/2021
Towards Capturing PTIME with no Counting Construct (but with a Choice Operator)
The central open question in Descriptive Complexity is whether there is ...
research
∙
12/29/2016
Lifted Relational Algebra with Recursion and Connections to Modal Logic
We propose a new formalism for specifying and reasoning about problems t...
research
∙
06/27/2016