Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)


This Festschrift quantity, released in reminiscence of Harald Ganzinger, includes 17 papers from colleagues around the globe and covers all of the fields to which Harald Ganzinger devoted his paintings in the course of his educational occupation. the amount starts with a whole account of Harald Ganzinger's paintings after which turns its concentration to the learn of his former colleagues, scholars, and associates who pay tribute to him via their writing. Their person papers span a large diversity of issues, together with programming language semantics, research and verification, first-order and higher-order theorem proving, unification conception, non-classical logics, reasoning modulo theories, and functions of computerized reasoning in biology.

Show sample text content

Download sample