Equational Elements in Additive Algebras

Algebraic automata and context-free sets

J. E. Mezei, Jesse B. Wright · Information and Control · 1967 · 219 citations

Engineering, Automated Reasoning, Formal Methods +5

Recognizable formal power series on trees

Jean Berstel, Christophe Reutenauer · Theoretical Computer Science · 1982 · 169 citations

Tree Language, Analytic Combinatorics, Tree Automaton +2

Equivalences and transformations of regular systems—Applications to recursive program schemes and grammars

Bruno Courcelle · Theoretical Computer Science · 1986 · 102 citations

Engineering, Automated Reasoning, Regulated Rewriting +9

Initial algebra semantics

Joseph A. Goguen, J. W. Thatcher · 1974 · 65 citations

Formal Semantics, Algebraic Logic, Declarative Programming +13

A characterization of context-free languages

Jozef Gruska · Journal of Computer and System Sciences · 1971 · 58 citations

Language Construct, Programming Language Theory, Extensible Language +5