A Perron–Frobenius theorem for deciding matrix growth

René Thiemann
Journal of Logical and Algebraic Methods in Programming 123, 2021.

abstract   BibTeX     doi:10.1016/j.jlamp.2021.100699