%0 Conference Paper %1 conf/tark/KooiR11 %A Kooi, Barteld P. %A Renne, Bryan %B TARK %D 2011 %E Apt, Krzysztof R. %I ACM %K dblp %P 205-211 %T Generalized arrow update logic. %U http://dblp.uni-trier.de/db/conf/tark/tark2011.html#KooiR11 %@ 978-1-4503-0707-9

@inproceedings{conf/tark/KooiR11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kooi, Barteld P. and Renne, Bryan}, biburl = {https://www.bibsonomy.org/bibtex/236f3664fe7a636a13f8e905c94d23111/dblp}, booktitle = {TARK}, crossref = {conf/tark/2011}, editor = {Apt, Krzysztof R.}, ee = {https://doi.org/10.1145/2000378.2000403}, interhash = {5ce6bf42710359f02a881044dde66007}, intrahash = {36f3664fe7a636a13f8e905c94d23111}, isbn = {978-1-4503-0707-9}, keywords = {dblp}, pages = {205-211}, publisher = {ACM}, timestamp = {2018-11-07T16:11:23.000+0100}, title = {Generalized arrow update logic.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark2011.html#KooiR11}, year = 2011 }