Programming Logics

Essays in Memory of Harald Ganzinger

  • Andrei Voronkov
  • Christoph Weidenbach
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7797)

Table of contents

  1. Front Matter
  2. Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
    Pages 1-18
  3. Alexander Bockmayr, Heike Siebert
    Pages 19-34
  4. Maria Paola Bonacina, Nachum Dershowitz
    Pages 35-71
  5. Jean-Marie Gaillourdet, Patrick Michel, Arnd Poetzsch-Heffter, Nicole Rauch
    Pages 72-89
  6. Jean Goubault-Larrecq, Jean-Pierre Jouannaud
    Pages 90-122
  7. Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach
    Pages 169-193
  8. Deepak Kapur
    Pages 194-215
  9. Claude Kirchner, Hélène Kirchner, Fabrice Nahon
    Pages 216-238
  10. Christopher Lynch
    Pages 285-301
  11. Juan Antonio Navarro-Pérez, Andrei Voronkov
    Pages 302-316
  12. David A. Plaisted, Swaha Miller
    Pages 317-344
  13. Renate A. Schmidt, Ullrich Hustadt
    Pages 345-391
  14. Viorica Sofronie-Stokkermans
    Pages 392-413
  15. J. Kreiker, T. Reps, N. Rinetzky, M. Sagiv, Reinhard Wilhelm, E. Yahav
    Pages 414-445
  16. Back Matter

About this book

Introduction

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career.

The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology.

Keywords

computation finite semantics trees functional logic programming inductive proof search program analysis

Editors and affiliations

  • Andrei Voronkov
    • 1
  • Christoph Weidenbach
    • 2
  1. 1.University of ManchesterManchesterUK
  2. 2.Max-Planck-Institut für InformatikSaarbrückenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-37651-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-37650-4
  • Online ISBN 978-3-642-37651-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book