|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2007 6th International Conference on Computer Information Systems and Industrial Management Applications
Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic
Elk, Poland
June 28-June 30
ISBN: 0-7695-2894-5
| ASCII Text | x | ||
| Agnieszka Makarec, "Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic," Computer Information Systems and Industrial Management Applications, International Conference on, pp. 81-86, 2007 6th International Conference on Computer Information Systems and Industrial Management Applications, 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/CISIM.2007.42, author = {Agnieszka Makarec}, title = {Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic}, journal ={Computer Information Systems and Industrial Management Applications, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2894-5}, pages = {81-86}, doi = {http://doi.ieeecomputersociety.org/10.1109/CISIM.2007.42}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Computer Information Systems and Industrial Management Applications, International Conference on TI - Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic SN - 0-7695-2894-5 SP81 EP86 A1 - Agnieszka Makarec, PY - 2007 KW - null VL - 0 JA - Computer Information Systems and Industrial Management Applications, International Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CISIM.2007.42
In this paper probabilistic and nondeterministic programs are considered on the ground of logic of programs. The formal semantics of probabilistic and nondeterministic computations of a program are the starting point for the comparing properties of these programs. We are interested in dependencies, especially in similarities between nondeterministic and probabilistic interpretation of a program.
Citation:
Agnieszka Makarec, "Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic," cisim, pp.81-86, 2007 6th International Conference on Computer Information Systems and Industrial Management Applications, 2007
Usage of this product signifies your acceptance of the Terms of Use.