- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: 10.1007/978-3-030-25543-5_24
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2019
- Creator
-
Frohn, Florian
Giesl, Jürgen
- DOI
-
10.18154/RWTH-2019-10116
- URN
-
urn:nbn:de:101:1-2022101212130694547694
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Frohn, Florian
- Giesl, Jürgen
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2019
Other Objects (12)
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Wilson loops for triangular contours with circular edges
Closing Loops, Unclosing Loops
Relative termination
Opportunistic Termination
Opportunistic Termination
Relative Termination
Ernst Loops
Forwarding loops
La venda triangular
Geometrisches Triangular-Instrument
WACK MCe TERMINATION!
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Wilson loops for triangular contours with circular edges
Closing Loops, Unclosing Loops
Relative termination
Opportunistic Termination
Opportunistic Termination
Relative Termination
Ernst Loops
Forwarding loops
La venda triangular
Geometrisches Triangular-Instrument
WACK MCe TERMINATION!
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Wilson loops for triangular contours with circular edges
Closing Loops, Unclosing Loops
Relative termination
Opportunistic Termination
Opportunistic Termination
Relative Termination
Ernst Loops
Forwarding loops
La venda triangular
Geometrisches Triangular-Instrument