Database Entry Point
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF RG1 Publications, generated: 3:01, 21 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov, Christoph Weidenbach, and Reinhard Wilhelm
    Harald Ganzinger's Legacy: Contributions to Logics and Programming
    In: Programming Logics, Festschrift, 2013
  2. Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hantao Zhao, Qi Lu, and ThanhVu Nguyen
    Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants
    In: Automated Reasoning and Mathematics: Essays in Memory of William McCune, 2014, 189-228