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] |