Friedrich Neurauter
From MaRDI portal
Person:2891463
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 |
|---|---|---|
| Polynomial interpretations over the natural, rational and real numbers revisited Logical Methods in Computer Science | 2014-09-30 | Paper |
| On the domain and dimension hierarchy of matrix interpretations Logic for Programming, Artificial Intelligence, and Reasoning | 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 Algebraic Informatics | 2011-07-08 | Paper |
| Revisiting matrix interpretations for polynomial derivational complexity of term rewriting Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
| Monotonicity criteria for polynomial interpretations over the naturals Automated Reasoning | 2010-09-14 | Paper |
Research outcomes over time
This page was built for person: Friedrich Neurauter
