%0 Conference Paper %1 conf/popl/Dal-ZilioLM04 %A Dal-Zilio, Silvano %A Lugiez, Denis %A Meyssonnier, Charles %B POPL %D 2004 %E Jones, Neil D. %E Leroy, Xavier %I ACM %K %P 135-146 %T A logic you can count on. %U http://dblp.uni-trier.de/db/conf/popl/popl2004.html#Dal-ZilioLM04 %@ 1-58113-729-X

@inproceedings{conf/popl/Dal-ZilioLM04, added-at = {2023-12-12T21:43:26.000+0100}, author = {Dal-Zilio, Silvano and Lugiez, Denis and Meyssonnier, Charles}, biburl = {https://www.bibsonomy.org/bibtex/2786ddd51f136513790b51beb9fdca582/admin}, booktitle = {POPL}, crossref = {conf/popl/2004}, editor = {Jones, Neil D. and Leroy, Xavier}, ee = {https://doi.org/10.1145/964001.964013}, interhash = {4245a4f3cd94032bded0165538677d33}, intrahash = {786ddd51f136513790b51beb9fdca582}, isbn = {1-58113-729-X}, keywords = {}, pages = {135-146}, publisher = {ACM}, timestamp = {2023-12-12T21:43:26.000+0100}, title = {A logic you can count on.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2004.html#Dal-ZilioLM04}, year = 2004 }