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

MPI-INF RG1 Publications, generated: 19:57, 21 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