| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Matthias Horbach, Christoph Weidenbach: Decidability Results for Saturation-Based Model Building. CADE 2009: 404-420 |
| 3 | EE | Matthias Horbach, Christoph Weidenbach: Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. CSL 2009: 332-347 |
| 2008 | ||
| 2 | EE | Matthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains. CSL 2008: 293-307 |
| 1 | EE | Matthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains CoRR abs/0809.0922: (2008) |
| 1 | Christoph Weidenbach | [1] [2] [3] [4] |