Markus Aderhold
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Context dependent procedures and computed types in \texttt{VeriFun} Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| Second-order programs with preconditions Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
| Automated synthesis of induction axioms for programs with second-order recursion Automated Reasoning | 2010-09-14 | Paper |
| Automated termination analysis for programs with second-order recursion Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| Improvements in Formula Generalization Automated Deduction – CADE-21 | 2009-03-06 | Paper |
Research outcomes over time
This page was built for person: Markus Aderhold
