4 citations · 4 across the 1 of their papers we have counts for
1 paper
Benedikt Pago
The search for a logic capturing PTIME is a long standing open problem in finite model theory. One of the most promising candidate logics for this is Choiceless Polynomial Time wit…