Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)

Relationships between nondeterministic and deterministic tape complexities

1970 • 1,361 citations

Parallel program schemata

1969 • 991 citations

Word problems requiring exponential time(Preliminary Report)

1973 • 865 citations

Recursive Unsolvability of a problem of Thue

1947 • 535 citations

Semigroups, Presburger formulas, and languages

1966 • 426 citations

Die Frage der endlich vielen Schritte in der Theorie der Polynomideale

1926 • 373 citations

The complexity of decision problems in automata theory and logic.

1974 • 322 citations

Constructions in algebra

1974 • 287 citations

Counter machines and counter languages

1968 • 215 citations

The equality problem for vector addition systems is undecidable

1976 • 118 citations

Einleitung in die allgemeine Theorie der algebraischen Gröszen

1903 • 47 citations

Computational complexity of decision procedures for polynomials

1975 • 26 citations

Some algorithmic problems for finitely defined commutative semigroups

1967 • 19 citations