%0 Conference Paper %1 conf/cade/Cortier14 %A Cortier, Véronique %B IJCAR %D 2014 %E Demri, Stéphane %E Kapur, Deepak %E Weidenbach, Christoph %I Springer %K dblp %P 16-25 %T Electronic Voting: How Logic Can Help. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#Cortier14 %V 8562 %@ 978-3-319-08586-9

@inproceedings{conf/cade/Cortier14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Cortier, Véronique}, biburl = {https://www.bibsonomy.org/bibtex/2be56468e4696d13a8ca7ea3846764395/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2014}, editor = {Demri, Stéphane and Kapur, Deepak and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-319-08587-6_2}, interhash = {1e9455e75db16b68b74a8b2be449233a}, intrahash = {be56468e4696d13a8ca7ea3846764395}, isbn = {978-3-319-08586-9}, keywords = {dblp}, pages = {16-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:56:21.000+0200}, title = {Electronic Voting: How Logic Can Help.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#Cortier14}, volume = 8562, year = 2014 }