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

MPI-INF RG1 Publications, generated: 13:46, 22 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Cesare Tinelli and Viorica Sofronie-Stokkermans(Ed.)
    Frontiers of Combining Systems
    Lecture Notes in Artificial Intelligence. 6989, , Springer, Heidelberg, 2011
  2. Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Teige Teige, and Christoph Weidenbach
    SUP(NLA) -- Combining Superposition and Non-Linear Arithmetic
    In: 8th International Symposium on Frontiers of Combining Systems, Saarbruecken, Germany, 2011, 119-134