Pages that link to "Item:Q1238426"

The following pages link to Equivalence problems for deterministic context-free languages and monadic recursion schemes (Q1238426):

Displaying 22 items.

• Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales (Q357923) (← links)
• The complexity of monadic recursion schemes: executability problems, nesting depth, and applications (Q792758) (← links)
• The complexity of monadic recursion schemes: Exponential time bounds (Q796301) (← links)
• New techniques for proving the decidability of equivalence problem (Q913523) (← links)
• Superdeterministic DPDAs: The method of accepting does affect decision problems (Q1132642) (← links)
• A representation of trees by languages. II (Q1137390) (← links)
• The equivalence problem for two dpda's, one of which is a finite-turn or one-counter machine (Q1158757) (← links)
• DPDA's in 'Atomic normal form' and applications to equivalence problems (Q1158965) (← links)
• Normal forms of deterministic grammars (Q1238425) (← links)
• A representation of trees by languages. I (Q1246271) (← links)
• On equivalence and subclass containment problems for deterministic context-free languages (Q1251906) (← links)
• Monadic recursion schemes: The effect of constants (Q1259576) (← links)
• \(L(A)=L(B)\)? decidability results from complete formal systems (Q1589483) (← links)
• Decidability of the equivalence problem for deterministic pushdown automata (Q1816326) (← links)
• (Q3675498) (← links)
• An axiomatic approach to the Korenjak-Hopcroft algorithms (Q3703289) (← links)
• Decidable subcases of the equivalence problem for recursive program schemes (Q3773319) (← links)
• Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
• A subclass of deterministic context-free languages with a decidable inclusion problem (Q4007469) (← links)
• Simple context-free languages and free monadic recursion schemes (Q4139703) (← links)
• On the Decidability of the Equivalence Problem for Monadic Recursive Programs (Q4508638) (← links)
• The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)