%0 Journal Article %1 journals/eik/BachmannD86 %A Bachmann, Peter %A Dung, Phan Minh %D 1986 %J Elektronische Informationsverarbeitung und Kybernetik %K dblp %N 5/6 %P 243-261 %T Nondeterministic Computations - Structure and Axioms. %U http://dblp.uni-trier.de/db/journals/eik/eik22.html#BachmannD86 %V 22

@article{journals/eik/BachmannD86, added-at = {2003-07-07T00:00:00.000+0200}, author = {Bachmann, Peter and Dung, Phan Minh}, biburl = {https://www.bibsonomy.org/bibtex/25b72e13be4ca31c2f8d77fe9331dbef3/dblp}, date = {2003-07-07}, description = {dblp}, interhash = {5756e608597a584d5918d73877884167}, intrahash = {5b72e13be4ca31c2f8d77fe9331dbef3}, journal = {Elektronische Informationsverarbeitung und Kybernetik}, keywords = {dblp}, number = {5/6}, pages = {243-261}, timestamp = {2003-07-07T00:00:00.000+0200}, title = {Nondeterministic Computations - Structure and Axioms.}, url = {http://dblp.uni-trier.de/db/journals/eik/eik22.html#BachmannD86}, volume = 22, year = 1986 }