Record Detail Back
Programming Logics
- Share to:
Harald Ganzinger’s research career spanned over 3 decades during which he made numerous contributions to many areas of computer science, ranging from fundamental theory to low-level implementation techniques. During this time period, he also powerfully influenced many researchers’ lives. He had publications with more than 35 different coauthors from many different countries. In this article, we briefly review Ganzinger’s contributions to Logics and Programming with a special focus on automated theorem proving. Among many other honors, Ganzinger received the Herbrand Award for Dis- tinguished Contributions to Automated Deduction in March 2004. This award was created to honor individuals or groups for important contributions to this field. It is named after the famous French mathematician and logician Jacques
Andrei Voronkov and Christoph Weidenbach (Eds.) - Personal Name
978-3-642-37650-4
NONE
Information Technology
English
2013
1-455
LOADING LIST...
LOADING LIST...