A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving
- José Divasón 1
- Sebastiaan Joosten 2
- René Thiemann 3
- Akihisa Yamada 4
-
1
Universidad de La Rioja
info
-
2
University of Twente
info
-
3
University of Innsbruck
info
-
4
National Institute of Informatics
info
Konferenzberichte:
WST 2018 16th International Workshop on Termination
Verlag: Salvador Lucas
Datum der Publikation: 2018
Seiten: 30-34
Art: Konferenz-Beitrag
Institutionelles Repository:
lock_openOpen Access
Editor