A linear time solution to the single function coarsest partition problem

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Fast Pattern Matching in Strings

Donald E. Knuth, James H. Morris, Vaughan Pratt · SIAM Journal on Computing · 1977 · 2.9K citations

Engineering, Computational Complexity, Corpus Linguistics +19

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Mathematical Programming, Lattice (Order), Topological Combinatorics +3

Fast Decision Procedures Based on Congruence Closure

Greg Nelson, Derek C. Oppen · Journal of the ACM · 1980 · 500 citations · Full text

Computational Complexity Theory, Engineering, Computational Complexity +16