5 citations · 15 across the 10 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 5 cited
Slicewise definability in first-order logic with bounded quantifier rank
Yijia Chen, Joerg Flum, Xuangui Huang
For every let denote the class of sentences of first-order logic FO of quantifier rank at most . If a graph property can be defined in $\textrm{…
cs.LO2017
The parameterized space complexity of model-checking bounded variable first-order logic
Yijia Chen, Michael Elberfeld, Moritz Müller
The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds true in a given relational stru…