Propositional dynamic logic of nonregular programs

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Introduction to formal language theory

Computer Languages · 1980 · 1.3K citations

Computing, Computer Science, Formal Methods +11

Propositional dynamic logic of regular programs

Michael J. Fischer, Richard E. Ladner · Journal of Computer and System Sciences · 1979 · 1.2K citations

Computing, Computer Science, Formal Methods +12

An introduction to formal language theory

Choice Reviews Online · 1989 · 471 citations

Computing, Computer Science, Mathematics +12