The logic of information flows (LIF) has recently been proposed as a gen...
The logic of information flows (LIF) is a general framework in which tas...
The central open question in Descriptive Complexity is whether there is ...
We propose a new formalism for specifying and reasoning about problems t...
To appear in the proceedings of LPAR 21.
Solving complex problems can ...