Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Lommen, Nils ; Meyer, Fabian Niklas ; Giesl, Jürgen 2022 Universitätsbibliothek der RWTH Aachen
- Link zu diesem Datensatz
-
https://d-nb.info/1267755385
- Titel
-
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
- Art des Inhalts
- Monographie
- Verfassangaben
- Nils Lommen, Fabian Niklas Meyer, Jürgen Giesl
- Autor(en)
-
- Lommen, Nils
- Meyer, Fabian Niklas
- Giesl, Jürgen
- Verlag
- Aachen : Universitätsbibliothek der RWTH Aachen [2022]
- Jahr
- Erscheinungsdatum: 2022
- Umfang/Format
- Online-Ressource
- DOI
- 10.18154/RWTH-2022-08510
- Online
- https://doi.org/10.18154/RWTH-2022-08510
- Sprache
- eng
- Anmerkungen
-
In: 10.1007/978-3-031-10769-6_43
- Stand
- 04.12.2025 09:59
- Im Katalog seit
- 07.03.2026
Beschreibung vom Verlag
