%0 Conference Paper %1 conf/birthday/BursucCD07 %A Bursuc, Sergiu %A Comon-Lundh, Hubert %A Delaune, Stéphanie %B Rewriting, Computation and Proof %D 2007 %E Comon-Lundh, Hubert %E Kirchner, Claude %E Kirchner, Hélène %I Springer %K dblp %P 196-212 %T Deducibility Constraints, Equational Theory and Electronic Money. %U http://dblp.uni-trier.de/db/conf/birthday/jouannaud2007.html#BursucCD07 %V 4600 %@ 978-3-540-73146-7

@inproceedings{conf/birthday/BursucCD07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bursuc, Sergiu and Comon-Lundh, Hubert and Delaune, Stéphanie}, biburl = {https://www.bibsonomy.org/bibtex/237f3501f615f1154dae9c99bb63abbf7/dblp}, booktitle = {Rewriting, Computation and Proof}, crossref = {conf/birthday/2007jouannaud}, editor = {Comon-Lundh, Hubert and Kirchner, Claude and Kirchner, Hélène}, ee = {https://doi.org/10.1007/978-3-540-73147-4_10}, interhash = {9886cbf4c6ee6185fb6ec94241c2d92a}, intrahash = {37f3501f615f1154dae9c99bb63abbf7}, isbn = {978-3-540-73146-7}, keywords = {dblp}, pages = {196-212}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:21:51.000+0200}, title = {Deducibility Constraints, Equational Theory and Electronic Money.}, url = {http://dblp.uni-trier.de/db/conf/birthday/jouannaud2007.html#BursucCD07}, volume = 4600, year = 2007 }