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

MPI-INF RG1 Publications, generated: 4:56, 26 November 2014

Search the publication database

  . Return

Your search returned the following 8 documents:

  1. Evgeny Kruglov
    Superposition Modulo Theory
    Doctoral dissertation, Universität des Saarlandes, 2013

  2. Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach
    Automatic Generation of Invariants for Circular Derivations in SUP(LA)
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 197-211
  3. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012

  4. Evgeny Kruglov and Christoph Weidenbach
    Superposition Decides the First-Order Logic Fragment Over Ground Theories
    Mathematics in Computer Science 6 (4): 427-456, 2012

  5. 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
  6. Evgeny Kruglov and Christoph Weidenbach
    SUP(T) Decides First-Order Logic Fragment Over Ground Theories
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS-4), Beijing, China, 2011
  7. Evgeny Kruglov
    Superposition Modulo Linear Arithmetic
    Master's thesis, Universität des Saarlandes, 2008
  8. Ernst Althaus, Evgeny Kruglov, and Christoph Weidenbach
    Superposition Modulo Linear Arithmetic SUP(LA)
    In: Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, 2009, 84-99