- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Termination of triangular polynomial loops ; day:4 ; month:12 ; year:2023 ; pages:1-63
Formal methods in system design ; (4.12.2023), 1-63
- Creator
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-023-00440-z
- URN
-
urn:nbn:de:101:1-2024022011550296651011
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
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
- Hark, Marcel
- Frohn, Florian
- Giesl, Jürgen
- SpringerLink (Online service)
Other Objects (12)
Termination of Triangular Integer Loops is Decidable
Automated Termination Analysis of Polynomial Probabilistic Programs
Polynomial functions on upper triangular matrix algebras
Wilson loops for triangular contours with circular edges
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Large-size expansion for triangular Wilson loops in confining gauge theories
Differential Polynomial Identities of Upper Triangular Matrices Under the Action of the Two-Dimensional Metabelian Lie Algebra
Closing Loops, Unclosing Loops
3D large-scale forward modeling of gravitational fields using triangular spherical prisms with polynomial densities in depth
Loops of loops expansion in the amplituhedron
Relative Termination
Opportunistic Termination
Termination of Triangular Integer Loops is Decidable
Automated Termination Analysis of Polynomial Probabilistic Programs
Polynomial functions on upper triangular matrix algebras
Wilson loops for triangular contours with circular edges
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Large-size expansion for triangular Wilson loops in confining gauge theories
Differential Polynomial Identities of Upper Triangular Matrices Under the Action of the Two-Dimensional Metabelian Lie Algebra
Closing Loops, Unclosing Loops
3D large-scale forward modeling of gravitational fields using triangular spherical prisms with polynomial densities in depth
Loops of loops expansion in the amplituhedron
Relative Termination
Opportunistic Termination
Termination of Triangular Integer Loops is Decidable
Automated Termination Analysis of Polynomial Probabilistic Programs
Polynomial functions on upper triangular matrix algebras
Wilson loops for triangular contours with circular edges
Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
Large-size expansion for triangular Wilson loops in confining gauge theories
Differential Polynomial Identities of Upper Triangular Matrices Under the Action of the Two-Dimensional Metabelian Lie Algebra
Closing Loops, Unclosing Loops
3D large-scale forward modeling of gravitational fields using triangular spherical prisms with polynomial densities in depth
Loops of loops expansion in the amplituhedron
Relative Termination