%0 Conference Paper %1 conf/birthday/HillenbrandPWW13 %A Hillenbrand, Thomas %A Piskac, Ruzica %A Waldmann, Uwe %A Weidenbach, Christoph %B Programming Logics %D 2013 %E Voronkov, Andrei %E Weidenbach, Christoph %I Springer %K dblp %P 169-193 %T From Search to Computation: Redundancy Criteria and Simplification at Work. %U http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#HillenbrandPWW13 %V 7797 %@ 978-3-642-37650-4

@inproceedings{conf/birthday/HillenbrandPWW13, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hillenbrand, Thomas and Piskac, Ruzica and Waldmann, Uwe and Weidenbach, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/210227943c71207bb6ee2a079d4bc04b3/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_7}, interhash = {dd2bb5d345e03b258c4b3b4af1a0cf68}, intrahash = {10227943c71207bb6ee2a079d4bc04b3}, isbn = {978-3-642-37650-4}, keywords = {dblp}, pages = {169-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T14:21:35.000+0200}, title = {From Search to Computation: Redundancy Criteria and Simplification at Work.}, url = {http://dblp.uni-trier.de/db/conf/birthday/ganzinger2013.html#HillenbrandPWW13}, volume = 7797, year = 2013 }