Termination of Triangular Integer Loops is Decidable

to related objects

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
15.08.2024, 2:20 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Frohn, Florian
  • Giesl, Jürgen
  • Universitätsbibliothek der RWTH Aachen

Time of origin

  • 2019

Other Objects (12)

Termination of triangular polynomial loops

Termination of triangular polynomial loops

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

Wilson loops for triangular contours with circular edges

Wilson loops for triangular contours with circular edges

Large-size expansion for triangular Wilson loops in confining gauge theories

Large-size expansion for triangular Wilson loops in confining gauge theories

Closing Loops, Unclosing Loops

Closing Loops, Unclosing Loops

Relative Termination

Hochschulschrift

Relative Termination

Opportunistic Termination

Arbeitspapier

Opportunistic Termination

Opportunistic Termination

Arbeitspapier

Opportunistic Termination

Relative termination

Hochschulschrift

Relative termination

Loops of loops expansion in the amplituhedron

Loops of loops expansion in the amplituhedron

La venda triangular

Abschnitt

La venda triangular

Geometrisches Triangular-Instrument

Handschrift

Geometrisches Triangular-Instrument

Related objects