Evgeny Kruglov

According to our database, Evgeny Kruglov authored at least 6 papers between 1994 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Superposition modulo theory.

Evgeny Kruglov

PhD thesis, 2013

2012

Superposition Decides the First-Order Logic Fragment Over Ground Theories.

Evgeny Kruglov, Christoph Weidenbach

Math. Comput. Sci., 2012

Automatic Generation of Invariants for Circular Derivations in SUP(LA).

Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Superposition Modulo Non-linear Arithmetic.

Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2009

Superposition Modulo Linear Arithmetic SUP(LA).

Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

1994

Concurrency Problem for Horn Fragment of Girard's Linear Logic.

Dmitry A. Archangelsky, Michael I. Dekhtyar, Evgeny Kruglov, Ilmir Kh. Musikaev, Mikhail A. Taitslin

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994