Q5089280 (Q5089280): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 15:48, 29 July 2024

scientific article; zbMATH DE number 7559471

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7559471

Statements

scholarly article

0 references

0 references

0 references

0 references

publication date

18 July 2022

0 references

zbMATH Keywords

semi-algebraic sets

0 references

polynomial ranking functions

0 references

polynomial programs

0 references

MaRDI profile type

MaRDI publication profile

0 references

Ranking Functions for Linear-Constraint Loops

0 references

Complexity of Bradley-Manna-Sipma lexicographic ranking functions

0 references

On multiphase-linear ranking functions

0 references

0 references

Termination of Integer Linear Programs

0 references

Termination Analysis of Probabilistic Programs Through Positivstellensatz’s

0 references

Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems

0 references

Ramsey vs. Lexicographic Termination Proving

0 references

Verification, Model Checking, and Abstract Interpretation

0 references

0 references

Termination of Single-Path Polynomial Loop Programs

0 references

Positivity Problems for Low-Order Linear Recurrence Sequences

0 references

Verification, Model Checking, and Abstract Interpretation

0 references

Computer Aided Verification

0 references

Termination of linear programs with nonlinear constraints

0 references

Identifiers

10.4230/LIPIcs.CONCUR.2020.15

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5089280

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5089280&oldid=36831316"