- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j1 |      | Evgeny Kruglov, Christoph Weidenbach: Superposition Decides the First-Order Logic Fragment Over Ground Theories. Mathematics in Computer Science 6(4): 427-456 (2012) |
| c4 | | Arnaud Fietzke, Evgeny Kruglov, Christoph Weidenbach: Automatic Generation of Invariants for Circular Derivations in SUP(LA). LPAR 2012: 197-211 |
| 2011 | ||
| c3 | | Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach: Superposition Modulo Non-linear Arithmetic. FroCoS 2011: 119-134 |
| 2009 | ||
| c2 | | Ernst Althaus, Evgeny Kruglov, Christoph Weidenbach: Superposition Modulo Linear Arithmetic SUP(LA). FroCoS 2009: 84-99 |
| 1994 | ||
| c1 | | 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: 18-22 |
Colors in the list of coauthors
Last update Sat May 18 09:13:58 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page