| |
| 2006 | ||
|---|---|---|
| 3 | EE | Tobias Schmidt-Samoa: An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. Electr. Notes Theor. Comput. Sci. 151(1): 3-20 (2006) |
| 2 | Tobias Schmidt-Samoa: Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. Journal of Applied Non-Classical Logics 16(1-2): 209-239 (2006) | |
| 2003 | ||
| 1 | EE | Jürgen Avenhaus, Ulrich Kühler, Tobias Schmidt-Samoa, Claus-Peter Wirth: How to Prove Inductive Theorems? QUODLIBET! CADE 2003: 328-333 |
| 1 | Jürgen Avenhaus | [1] |
| 2 | Ulrich Kühler | [1] |
| 3 | Claus-Peter Wirth | [1] |