DMCA
Coinductive proof principles for stochastic processes (2006)
Cached
Download Links
- [arxiv.org]
- [arxiv.org]
- [ecommons.library.cornell.edu]
- [www.cs.cornell.edu]
- DBLP
Other Repositories/Bibliography
by
Dexter Kozen
| Venue: | Proc. 21st Symp. Logic in Computer Science (LICS’06 |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Kozen06coinductiveproof,
author = {Dexter Kozen},
title = {Coinductive proof principles for stochastic processes},
booktitle = {Proc. 21st Symp. Logic in Computer Science (LICS’06},
year = {2006},
pages = {359--366},
publisher = {IEEE}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Vol. 3 (4:8) 2007, pp. 1–14
