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. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Doi
Abstract
The paper focuses on the structure of fundamental sequences of
ordinals smaller than e. A first result is the construction of a
monadic second-order formula identifying a given structure, whereas
such a formula cannot exist for ordinals themselves. The structures
are precisely classified in the pushdown hierarchy. Ordinals are also
located in the hierarchy, and a direct presentation is given
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.