Termination of Triangular Integer Loops is Decidable
Frohn, Florian ; Giesl, Jürgen 2019 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1270074989
- Titel
-
Termination of Triangular Integer Loops is Decidable
- Art des Inhalts
- Monographie
- Verfassangaben
- Florian Frohn, Jürgen Giesl
- Autor(en)
-
- Frohn, Florian
- Giesl, Jürgen
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2019]
- Jahr
- Erscheinungsdatum: 2019
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2019-10116
- Online
- https://doi.org/10.18154/RWTH-2019-10116
- Sprache
- eng
- Anmerkungen
-
In: 10.1007/978-3-030-25543-5_24
- Stand
- 04.12.2025 10:09
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
