| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 5 |      | Markus Aderhold: Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. IJCAR 2010: 263-277 |
| 4 | | Markus Aderhold: Automated Termination Analysis for Programs with Second-Order Recursion. TACAS 2010: 221-235 |
| 3 | | Markus Aderhold: Second-Order Programs with Preconditions. Verification, Induction, Termination Analysis 2010: 129-143 |
| 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) |
| 1 | Michael Gonder | [1] |
| 2 | Andreas Schlosser | [1] |
| 3 | Christoph Walther | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page