22 citations · 55 across the 10 of their papers we have counts for
1 paper · 1 filter
Leroy Chew, Mikoláš Janota, Miroslav Olšák +1
We present a PSPACE-complete fragment of first order logic we call QEALM (QBF-like EPR by Alternating Level-ordered Miniscoping). Unlike other well-known fragments it is closer to…