A Perron–Frobenius theorem for deciding matrix growth
Author:
Open Access
- 1 November 2021
- journal article
- research article
- Published by Elsevier in Journal of Logical and Algebraic Methods in Programming
- Vol. 123
Abstract
No abstract availableKeywords
Funding Information
- Austrian Science Fund (Y757)
This publication has 3 references indexed in Scilit:
- Analyzing Program Termination and Complexity Automatically with AProVEJournal of Automated Reasoning, 2016
- Matrix Interpretations for Proving Termination of Term RewritingJournal of Automated Reasoning, 2007
- Zur Theorie der MatricesMathematische Annalen, 1907