Theoretical Computer Science · 1997 · 11 citations · 7 references
ComputingComputer ScienceMathematicsFormal MethodsPredicate LogicDecidabilityDecidability ProblemsSemigroup Theory
7
Transductions and Context-Free Languages
Jean Berstel · 1979 · 1.3K citations
A proof of Ehrenfeucht's Conjecture
Michael Albert, John Lawrence · Theoretical Computer Science · 1985 · 93 citations