Regular expressions and the equivalence of programs

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Two Complete Axiom Systems for the Algebra of Regular Events

Arto Salomaa · Journal of the ACM · 1966 · 284 citations · Full text

Computing, Computer Science, Mathematics +13

On Ianov's Program Schemata

J. D. Rutledge · Journal of the ACM · 1964 · 95 citations · Full text

Computing, Computer Science, Algorithms +14

Algorithmic properties of structures

Erwin Engeler · Theory of Computing Systems · 1967 · 84 citations

Computing, Computer Science, Mathematics +12

Equivalence Problems in a Model of Computation

Michael S. Paterson · DSpace@MIT (Massachusetts Institute of Technology) · 1967 · 66 citations · Full text

Computing, Computer Science, Formal Methods +9