Amanote Research

Amanote Research

    RegisterSign In

Linear Orders in the Pushdown Hierarchy

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-14162-1_8
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2010

Authors
Laurent BraudArnaud Carayol
Publisher

Springer Berlin Heidelberg


Related search

Recursive Linear Orders With Incomplete Successivities

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1991English

Linear Orders Realized by C.E. Equivalence Relations

Journal of Symbolic Logic
PhilosophyLogic
2016English

On the Proximate Linear Orders of Entire Dirichlet Series

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1962English

Hierarchy Among Automata on Linear Orderings

2002English

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Expansions of Dense Linear Orders With the Intermediate Value Property

Journal of Symbolic Logic
PhilosophyLogic
2001English

Linear-Time, Incremental Hierarchy Inference for Compression

English

On Some Applications of the Pushdown Store Technique

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1961English

Visibly Pushdown Languages

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy