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

MPI-INF RG1 Publications, generated: 15:32, 20 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. 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