The k-dimensional Weisfeiler-Leman (k-WL) algorithm is a simple
combinat...
Abramsky, Dawar, and Wang (2017) introduced the pebbling comonad for
k-v...
We prove new upper and lower bounds on the number of iterations the
k-di...
At the core of the quest for a logic for PTime is a mismatch between
alg...
We extend Choiceless Polynomial Time (CPT), the currently only remaining...
This note draws conclusions that arise by combining two recent papers, b...
In the search for a logic capturing polynomial time the most promising
c...
In the quest for a logic capturing PTime the next natural classes of
str...
We show that the 2-dimensional Weisfeiler-Leman algorithm stabilizes n-v...
We study S1S and Büchi automata in the constructive type theory of the C...