The context-freeness of the languages associated with vector addition systems is decidable

Real and Complex Analysis.

G. A. Garreau, Walter Rudin · Journal of the Royal Statistical Society Series D (The Statistician) · 1987 · 10.9K citations

Measure Theory, Infinite Dimensional Analysis, Engineering +10

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

Petri Net, System Of System, Engineering +4

Integer Programming with a Fixed Number of Variables

H. W. Lenstra · Mathematics of Operations Research · 1983 · 1.4K citations

Mathematical Programming, Fixed Number, Engineering +10

Transductions and Context-Free Languages

Jean Berstel · 1979 · 1.3K citations

Syntax, Grammatical Formalism, Computational Linguistics +7

Introduction to formal language theory

Computer Languages · 1980 · 1.3K citations

Syntax, Formal Language Theory, Formal Language +8