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

MPI-INF RG1 Publications, generated: 23:10, 20 October 2019

Search the publication database

  . Return

Your search returned the following 7 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

  3. Matthias Horbach and Christoph Weidenbach
    Decidability Results for Saturation-Based Model Building
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 404-420
  4. Viorica Sofronie-Stokkermans
    Locality results for certain extensions of theories with bridging functions
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 67-83
  5. Peter Baumgartner and Uwe Waldmann
    Superposition and Model Evolution Combined
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 17-34
  6. Carsten Ihlemann and Viorica Sofronie-Stokkermans
    System Description: H-PILoT
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 131-139
  7. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Martin Suda, and Patrick Wischnewski
    SPASS Version 3.5
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 140-145