%0 Conference Paper %1 conf/birthday/KapurNVWW13 %A Kapur, Deepak %A Nieuwenhuis, Robert %A Voronkov, Andrei %A Weidenbach, Christoph %A Wilhelm, Reinhard %B Programming Logics %D 2013 %E Voronkov, Andrei %E Weidenbach, Christoph %I Springer %K dblp %P 1-18 %T Harald Ganzinger's Legacy: Contributions to Logics and Programming. %U http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#KapurNVWW13 %V 7797 %@ 978-3-642-37650-4

@inproceedings{conf/birthday/KapurNVWW13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Kapur, Deepak and Nieuwenhuis, Robert and Voronkov, Andrei and Weidenbach, Christoph and Wilhelm, Reinhard}, biburl = {https://www.bibsonomy.org/bibtex/295fcf1b1b64811ee3b86e82cf258bbc8/dblp}, booktitle = {Programming Logics}, crossref = {conf/birthday/2013ganzinger}, editor = {Voronkov, Andrei and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-642-37651-1_1}, interhash = {a6d968da25fb424e7feb4f245b4793dc}, intrahash = {95fcf1b1b64811ee3b86e82cf258bbc8}, isbn = {978-3-642-37650-4}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:20:23.000+0200}, title = {Harald Ganzinger's Legacy: Contributions to Logics and Programming.}, url = {http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#KapurNVWW13}, volume = 7797, year = 2013 }