%0 Journal Article %1 journals/corr/abs-0707-3435 %A Halpern, Joseph Y. %A Petride, Sabina %D 2007 %J CoRR %K dblp %T A Knowledge-Based Analysis of Global Function Computation %U http://dblp.uni-trier.de/db/journals/corr/corr0707.html#abs-0707-3435 %V abs/0707.3435

@article{journals/corr/abs-0707-3435, added-at = {2018-08-13T00:00:00.000+0200}, author = {Halpern, Joseph Y. and Petride, Sabina}, biburl = {https://www.bibsonomy.org/bibtex/2c19f460234c163c9c30e15dcc33c5e5e/dblp}, ee = {http://arxiv.org/abs/0707.3435}, interhash = {eb4fc758b658203fcfc25bad9d6fbe7a}, intrahash = {c19f460234c163c9c30e15dcc33c5e5e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T11:47:56.000+0200}, title = {A Knowledge-Based Analysis of Global Function Computation}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0707.html#abs-0707-3435}, volume = {abs/0707.3435}, year = 2007 }