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 proceedingConference contributionpeer-review

    Original languageEnglish
    Title of host publicationProgramming Logics - Essays in Memory of Harald Ganzinger
    Pages1-18
    Number of pages18
    DOIs
    Publication statusPublished - 2013

    Cite this