Interpretation of Probabilistic Algorithmic Logic in Nondeterministic Algorithmic Logic

Elk, Poland June 28-June 30

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CISIM.2007.42

2007 6th International Conference on ...

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

	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

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.