Original language | English |
---|---|
Title of host publication | Programming Logics - Essays in Memory of Harald Ganzinger |
Pages | 1-18 |
Number of pages | 18 |
DOIs | |
Publication status | Published - 2013 |
Harald Ganzinger's Legacy: Contributions to Logics and Programming
Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, Reinhard Wilhelm
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review