The university library will be closed from December 20, 2025 to January 11, 2026. From January 12, 2026, regular opening hours will apply again. Exception: The main medical library and the central library will be open again from January 5, 2026. Further information
ISO-690 (author-date, English)

VORONKOV, Andrei and WEIDENBACH, Christoph (eds.). 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642376511.

Elsevier - Harvard (with titles)

Voronkov, A., Weidenbach, C. (Eds.), 2013. Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013 st ed, Theoretical Computer Science and General Issues. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37651-1

American Psychological Association 7th edition

Programming Logics : Essays in Memory of Harald Ganzinger. (ca. 2013). [Cd]. In A. Voronkov & C. Weidenbach (eds.), Theoretical Computer Science and General Issues (1 st ed. 2013 st ed.). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-37651-1

Springer - Basic (author-date)

Voronkov A, Weidenbach C (eds.) (2013) Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013 st edn. Springer Berlin Heidelberg, Berlin, Heidelberg

Juristische Zitierweise (Stüber) (Deutsch)

Voronkov, Andrei/ Weidenbach, Christoph (eds.), Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013 , Berlin, Heidelberg 2013.

Warning: These citations may not always be 100% accurate.