Andreas Schnabl
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 |
|---|---|---|
| Complexity analysis of term rewriting based on matrix and context dependent interpretations | 2012-10-19 | Paper |
| The exact hardness of deciding derivational and runtime complexity | 2012-09-18 | Paper |
| Termination proofs in the dependency pair framework May induce multiple recursive derivational complexity | 2012-04-24 | Paper |
| The derivational complexity induced by the dependency pair method Logical Methods in Computer Science | 2012-04-02 | Paper |
| The Derivational Complexity Induced by the Dependency Pair Method Rewriting Techniques and Applications | 2009-06-30 | Paper |
| Automated Implicit Computational Complexity Analysis (System Description) Automated Reasoning | 2008-11-27 | Paper |
| Proving Quadratic Derivational Complexities Using Context Dependent Interpretations Rewriting Techniques and Applications | 2008-08-28 | Paper |
Research outcomes over time
This page was built for person: Andreas Schnabl
