MPI-INF RG1 Publications, generated: 17:42, 22 May 2013
Your search returned the following 7 documents:
-
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
-
Evgeny Kruglov and Christoph Weidenbach
Superposition Decides the First-Order Logic Fragment Over Ground Theories
Mathematics in Computer Science 6 (4): 427-456, 2012
-
Evgeny Kruglov and Christoph Weidenbach
Superposition Decides the First-Order Logic Fragment Over Ground Theories
Mathematics in Computer Science 6 (4): 427-456, 2012
-
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
-
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
-
Evgeny Kruglov
Superposition Modulo Linear Arithmetic
Master's thesis, Universität des Saarlandes, 2008
-
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
