We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
LIPIcs - Leibniz International Proceedings in Informatics. Computer Science Logic (CSL\u2712) - 26th International Workshop/21st Annual Conference of the EACSL
Doi
Abstract
We construct theories of Cook-Nguyen style two-sort bounded arithmetic
whose provably total functions are exactly those in LOGCFL and LOGDCFL.
Axiomatizations of both theories are based on the proof tree size
characterizations of these classes. We also show that our theory for LOGCFL proves a certain formulation of the pumping lemma for context-free languages
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.