Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Laurent Braud
Linear Orders in the Pushdown Hierarchy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Nominal Computation
Related publications
Recursive Linear Orders With Incomplete Successivities
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Linear Orders Realized by C.E. Equivalence Relations
Journal of Symbolic Logic
Philosophy
Logic
On the Proximate Linear Orders of Entire Dirichlet Series
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Hierarchy Among Automata on Linear Orderings
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Expansions of Dense Linear Orders With the Intermediate Value Property
Journal of Symbolic Logic
Philosophy
Logic
Linear-Time, Incremental Hierarchy Inference for Compression
On Some Applications of the Pushdown Store Technique
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
Visibly Pushdown Languages