Coinductive Proof Principles for Stochastic Processes

@inproceedings{Kozen2006CoinductivePP,
  title={Coinductive Proof Principles for Stochastic Processes},
  author={Dexter Kozen},
  booktitle={LICS},
  year={2006}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-5 of 5 extracted citations

Optimal Coin Flipping

Horizons of the Mind • 2014
View 4 Excerpts

Applications of Metric Coinduction

Logical Methods in Computer Science • 2007
View 3 Excerpts

Coinductive Proof Principles for Stochastic Processes

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) • 2006
View 1 Excerpt

Similar Papers

Loading similar papers…