Friedrich Neurauter

According to our database, Friedrich Neurauter authored at least 7 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited.

Friedrich Neurauter, Aart Middeldorp

Log. Methods Comput. Sci., 2014

2012

On the Domain and Dimension Hierarchy of Matrix Interpretations.

Friedrich Neurauter, Aart Middeldorp

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting.

Friedrich Neurauter, Aart Middeldorp

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems.

Aart Middeldorp, Georg Moser, Friedrich Neurauter, Johannes Waldmann, Harald Zankl

Proceedings of the Algebraic Informatics - 4th International Conference, 2011

2010

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers.

Friedrich Neurauter, Aart Middeldorp

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.

Friedrich Neurauter, Harald Zankl, Aart Middeldorp

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Monotonicity Criteria for Polynomial Interpretations over the Naturals.

Friedrich Neurauter, Aart Middeldorp, Harald Zankl

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010