Pages that link to "Item:Q3765259"

The following pages link to An automata-theoretical characterization of the OI-hierarchy (Q3765259):

Displaying 29 items.

• The grammar of mammalian brain capacity (Q290555) (← links)
• Krivine machines and higher-order schemes (Q476196) (← links)
• Basic tree transducers (Q579951) (← links)
• Look-ahead on pushdowns (Q579952) (← links)
• Regular sets over extended tree structures (Q764339) (← links)
• On the structure of graphs in the Caucal hierarchy (Q930912) (← links)
• High level tree transducers and iterated pushdown tree transducers (Q1096399) (← links)
• Parameter-reduction of higher level grammars (Q1099634) (← links)
• The OI-hierarchy is closed under control (Q1109578) (← links)
• Iterated stack automata and complexity classes (Q1183602) (← links)
• On the expressive power of finitely typed and universally polymorphic recursive procedures (Q1185006) (← links)
• Decidability of the finiteness of ranges of tree transductions (Q1271464) (← links)
• Transducers and the decidability of independence in free monoids (Q1341744) (← links)
• General decidability results for asynchronous shared-memory programs: higher-order and beyond (Q2044219) (← links)
• Principal abstract families of weighted tree languages (Q2064529) (← links)
• Weighted automata with storage (Q2280328) (← links)
• MIX is a 2-MCFL and the word problem in \(\mathbb{Z}^2\) is captured by the IO and the OI hierarchies (Q2353402) (← links)
• On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
• Word-mappings of level 2 (Q2441544) (← links)
• Iterated pushdown automata and sequences of rational numbers (Q2498918) (← links)
• Model-checking games for typed \(\lambda\)-calculi (Q2864164) (← links)
• Simply typed fixpoint calculus and collapsible pushdown automata (Q2973243) (← links)
• (Q3359755) (← links)
• (Q3386623) (← links)
• Games on Higher Order Multi-stack Pushdown Systems (Q3646264) (← links)
• (Q4972735) (← links)
• General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond (Q5060187) (← links)
• Domains for Higher-Order Games (Q5111275) (← links)
• Rational weighted tree languages with storage (Q6647747) (← links)