Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics
In this paper we give a probabilistic analog PPDL of Propositional Dynamic Logic. We prove a small model property and give a polynomial space decision procedure for formulas involving well-structured programs. We also give a deductive calculus and illustrate its use by calculating the expected running time of a simple random walk. © 1985.
Martin Charles Golumbic, Renu C. Laskar
Discrete Applied Mathematics
W.F. Cody, H.M. Gladney, et al.
SPIE Medical Imaging 1994
James Lee Hafner
Journal of Number Theory
Juliann Opitz, Robert D. Allen, et al.
Microlithography 1998