The descriptive complexity approach to LOGCFL

Clemens Lautemann, Pierre McKenzie, Thomas Schwentick +1

Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses o…