| |
| * | 2007 | |
|---|---|---|
| 2 | EE | Markus Aderhold: Improvements in Formula Generalization. CADE 2007: 231-246 |
| 1 | EE | Andreas Schlosser, Christoph Walther, Michael Gonder, Markus Aderhold: Context Dependent Procedures and Computed Types in -eriFun. Electr. Notes Theor. Comput. Sci. 174(7): 61-78 (2007) |
| 1 | Michael Gonder | [1] |
| 2 | Andreas Schlosser | [1] |
| 3 | Christoph Walther | [1] |