Generalized quantifier and a bounded arithmetic theory for LOGCFL

S. Kuroda
DOI: https://doi.org/10.1007/s00153-007-0052-4
2007-03-23
Archive for Mathematical Logic
Abstract:
What problem does this paper attempt to address?