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

MPI-INF RG1 Publications, generated: 8:50, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Matthias Horbach and Viorica Sofronie-Stokkermans
    Obtaining Finite Local Theory Axiomatizations via Saturation
    In: Frontiers of Combining Systems - 9th International Symposium, Nancy, France, 2013, 198-213
  2. Ralf Karrenberg, Marek KoŇ°ta, and Thomas Sturm
    Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
    In: Frontiers of Combining Systems, Nancy, France, 2013, 56-70