A probabilistic PDL

Topological Vector Spaces.

M. S. Ramanujan, Helmut Schaefer · American Mathematical Monthly · 1967 · 4K citations

Natural Sciences, Mathematics, Geometry +7

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

Introduction to Combinatorial Mathematics.

J. W. Moon, George B. Dantzig, C. L. Liu · American Mathematical Monthly · 1971 · 617 citations

Natural Sciences, Mathematics, Combinatorics +11

Semantics of probabilistic programs

Dexter Kozen · Journal of Computer and System Sciences · 1981 · 507 citations

Computing, Computer Science, Probability Theory +6

INTRODUCTION TO COMBINATORIAL MATHEMATICS

Susan Williamson · Bulletin of the London Mathematical Society · 1969 · 445 citations

Natural Sciences, Mathematics, Combinatorics +6