The following pages link to Friedrich Neurauter (Q2891463):
Displayed 7 items.
- On the Domain and Dimension Hierarchy of Matrix Interpretations (Q2891464) (← links)
- Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited (Q2921119) (← links)
- Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems (Q3014928) (← links)
- Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting (Q4933331) (← links)
- (Q5389085) (← links)
- (Q5389148) (← links)
- Monotonicity Criteria for Polynomial Interpretations over the Naturals (Q5747787) (← links)