Friedrich Neurauter

Available identifiers

zbMath Open neurauter.friedrichMaRDI QIDQ2891463

List of research outcomes

Publication	Date of Publication	Type
Polynomial interpretations over the natural, rational and real numbers revisited	2014-09-30	Paper
On the domain and dimension hierarchy of matrix interpretations	2012-06-15	Paper
Polynomial interpretations over the reals do not subsume polynomial interpretations over the integers	2012-04-25	Paper
Revisiting matrix interpretations for proving termination of term rewriting	2012-04-24	Paper
Joint spectral radius theory for automated complexity analysis of rewrite systems	2011-07-08	Paper
Revisiting matrix interpretations for polynomial derivational complexity of term rewriting	2010-10-12	Paper
Monotonicity criteria for polynomial interpretations over the naturals	2010-09-14	Paper

Research outcomes over time

This page was built for person: Friedrich Neurauter