Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
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.
Heinz Koeppl, Marc Hafner, et al.
BMC Bioinformatics
Timothy J. Wiltshire, Joseph P. Kirk, et al.
SPIE Advanced Lithography 1998
Satoshi Hada
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
James Lee Hafner
Journal of Number Theory