Stefan Schulze Frielinghaus. Inter-procedural Herbrand Equalities. In Anja Jentzsch, Tobias Pape, Sebastian Pasewaldt, editors, Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014. pages 106, Pro Business GmbH, 2014.
@inproceedings{Frielinghaus14, title = {Inter-procedural Herbrand Equalities}, author = {Stefan Schulze Frielinghaus}, year = {2014}, researchr = {https://researchr.org/publication/Frielinghaus14}, cites = {0}, citedby = {0}, pages = {106}, booktitle = {Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014}, editor = {Anja Jentzsch and Tobias Pape and Sebastian Pasewaldt}, publisher = {Pro Business GmbH}, isbn = {978-3-86386-719-5}, }