1 paper
Steffen van Bergerem, Johannes Friedrich Lange, Nicole Schweikardt
We introduce clique-guarded first-order logic with counting (cgFOC), a fragment of the first-order logic with counting FOC [Kuske and Schweikardt, LICS 2017], and we study the comp…