Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic

CC
CISIM
2007
2007 6th International Conference on Computer Information Systems and Industrial Management Applications
Abstract - Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Agnieszka Makarec

2007 6th International Conference on Computer Information Systems and Industrial Management Applications

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 -

Agnieszka Makarec, Bialystok Technical University, Poland

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.