%0 Conference Paper %1 conf/flops/Bouma12 %A Bouma, Gerlof %B FLOPS %D 2012 %E Schrijvers, Tom %E Thiemann, Peter %I Springer %K dblp %P 62-72 %T Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). %U http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Bouma12 %V 7294 %@ 978-3-642-29821-9

@inproceedings{conf/flops/Bouma12, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bouma, Gerlof}, biburl = {https://www.bibsonomy.org/bibtex/2525bacf6c96e37804116ca0e9b5792d4/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2012}, editor = {Schrijvers, Tom and Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-642-29822-6_8}, interhash = {3b50f1b7f8c5268d57bedec575608453}, intrahash = {525bacf6c96e37804116ca0e9b5792d4}, isbn = {978-3-642-29821-9}, keywords = {dblp}, pages = {62-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:40:18.000+0100}, title = {Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl).}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2012.html#Bouma12}, volume = 7294, year = 2012 }