Andreas Schnabl

Available identifiers

zbMath Open schnabl.andreasMaRDI QIDQ2915705

List of research outcomes

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	2012-04-02	Paper
The Derivational Complexity Induced by the Dependency Pair Method	2009-06-30	Paper
Automated Implicit Computational Complexity Analysis (System Description)	2008-11-27	Paper
Proving Quadratic Derivational Complexities Using Context Dependent Interpretations	2008-08-28	Paper

Research outcomes over time

This page was built for person: Andreas Schnabl