Evgeny Kruglov

Publication Activity (10 Years)

Years Active: 1994-2012
Publications (10 Years): 0

Top Topics

Geometric Invariants

Predicate Calculus

Zernike Moments

Inference Rules

Top Venues

Math. Comput. Sci.

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach
Automatic Generation of Invariants for Circular Derivations in SUP(LA). LPAR (2012)
Evgeny Kruglov, Christoph Weidenbach
Superposition Decides the First-Order Logic Fragment Over Ground Theories. Math. Comput. Sci. 6 (4) (2012)
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
Superposition Modulo Non-linear Arithmetic. FroCoS (2011)
Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach
Superposition Modulo Linear Arithmetic SUP(LA). FroCoS (2009)
Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin
Concurrency Problem for Horn Fragment of Girard's Linear Logic. LFCS (1994)