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
Actes de conférence:
WST 2018 16th International Workshop on Termination
Éditorial: Salvador Lucas
Année de publication: 2018
Pages: 30-34
Type: Communication dans un congrès
Dépôt institutionnel:
lock_openAccès ouvert
Editor