Inproceedings,
A Decidable Propositional Probabilistic Dynamic Logic
Y. Feldman.STOC, page 298-309. ACM, (1983)
Meta data
- BibTeX key
- conf/stoc/Feldman83
- entry type
- inproceedings
- booktitle
- STOC
- year
- 1983
- pages
- 298-309
- publisher
- ACM
- crossref
- conf/stoc/STOC15
- ee
- https://doi.org/10.1145/800061.808759
- url
- http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#Feldman83
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/stoc/Feldman83
%A Feldman, Yishai A.
%B STOC
%D 1983
%E Johnson, David S.
%E Fagin, Ronald
%E Fredman, Michael L.
%E Harel, David
%E Karp, Richard M.
%E Lynch, Nancy A.
%E Papadimitriou, Christos H.
%E Rivest, Ronald L.
%E Ruzzo, Walter L.
%E Seiferas, Joel I.
%I ACM
%K dblp
%P 298-309
%T A Decidable Propositional Probabilistic Dynamic Logic
%U http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#Feldman83
@inproceedings{conf/stoc/Feldman83,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Feldman, Yishai A.},
biburl = {https://www.bibsonomy.org/bibtex/2e5c3c70036d79265939f61edb61da4b7/dblp},
booktitle = {STOC},
crossref = {conf/stoc/STOC15},
editor = {Johnson, David S. and Fagin, Ronald and Fredman, Michael L. and Harel, David and Karp, Richard M. and Lynch, Nancy A. and Papadimitriou, Christos H. and Rivest, Ronald L. and Ruzzo, Walter L. and Seiferas, Joel I.},
ee = {https://doi.org/10.1145/800061.808759},
interhash = {c1ec5b84a241cf7717f014720f3d0c3a},
intrahash = {e5c3c70036d79265939f61edb61da4b7},
keywords = {dblp},
pages = {298-309},
publisher = {ACM},
timestamp = {2018-11-07T14:44:02.000+0100},
title = {A Decidable Propositional Probabilistic Dynamic Logic},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc83.html#Feldman83},
year = 1983
}