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:
WST 2018 16th International Workshop on Termination
Editorial: Salvador Lucas
Any de publicació: 2018
Pàgines: 30-34
Tipus: Aportació congrés
Repositori institucional:
lock_openAccés obert
Editor