Markus Aderhold

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2007

2 Markus Aderhold: Improvements in Formula Generalization. CADE 2007: 231-246

1 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)

	2007
2		Markus Aderhold: Improvements in Formula Generalization. CADE 2007: 231-246
1		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)

Coauthor Index