An automata-theoretical characterization of the OI-hierarchy
From MaRDI portal
Publication:3765259
Recommendations
Cited in
(32)- scientific article; zbMATH DE number 4213439 (Why is no real title available?)
- Parameter-reduction of higher level grammars
- The OI-hierarchy is closed under control
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
- High level tree transducers and iterated pushdown tree transducers
- Domains for Higher-Order Games
- On the structure of graphs in the Caucal hierarchy
- scientific article; zbMATH DE number 3997179 (Why is no real title available?)
- The grammar of mammalian brain capacity
- Basic tree transducers
- Look-ahead on pushdowns
- A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
- Word-mappings of level 2
- Games on Higher Order Multi-stack Pushdown Systems
- Transducers and the decidability of independence in free monoids
- MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies
- On Boolean closed full trios and rational Kripke frames
- Iterated stack automata and complexity classes
- General decidability results for asynchronous shared-memory programs: higher-order and beyond
- Decidability of the finiteness of ranges of tree transductions
- Krivine machines and higher-order schemes
- Regular sets over extended tree structures
- Iterated pushdown automata and sequences of rational numbers
- On the expressive power of finitely typed and universally polymorphic recursive procedures
- Weighted automata with storage
- scientific article; zbMATH DE number 3848594 (Why is no real title available?)
- Simply typed fixpoint calculus and collapsible pushdown automata
- Rational weighted tree languages with storage
- Principal abstract families of weighted tree languages
- scientific article; zbMATH DE number 7136663 (Why is no real title available?)
- Model-checking games for typed \(\lambda\)-calculi
- scientific article; zbMATH DE number 3940754 (Why is no real title available?)
This page was built for publication: An automata-theoretical characterization of the OI-hierarchy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3765259)
