Information Processing Letters · 1979 · 29 citations · 2 references
ComputingComputer ScienceMathematicsFormal MethodsProgramming LanguagesTranslation TheoryContext-free LanguagesModel TheoryPredicate LogicPushdown AutomataRecursion TheoryRegular LanguagesDecidabilityDecidability ProblemsPushdown Automata Complexity
2
The decidability of the equivalence problem for DOL-systems
Ivan Friš · Information and Control · 1977 · 96 citations