Q5089280 (Q5089280): Difference between revisions

@@ Property / author @@
-James Worrell
@@ Property / author: James Worrell / rank @@
-Normal rank
@@ Property / author @@
+James Worrell
@@ Property / author: James Worrell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Ranking Functions for Linear-Constraint Loops
@@ Property / cites work: Ranking Functions for Linear-Constraint Loops / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Bradley-Manna-Sipma lexicographic ranking functions
+Normal rank
@@ Property / cites work @@
+On multiphase-linear ranking functions
@@ Property / cites work: On multiphase-linear ranking functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210476
@@ Property / cites work: Q4210476 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Integer Linear Programs
@@ Property / cites work: Termination of Integer Linear Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Probabilistic Programs Through Positivstellensatz’s
+Normal rank
@@ Property / cites work @@
+Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
+Normal rank
@@ Property / cites work @@
+Ramsey vs. Lexicographic Termination Proving
@@ Property / cites work: Ramsey vs. Lexicographic Termination Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5092319
@@ Property / cites work: Q5092319 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Single-Path Polynomial Loop Programs
+Normal rank
@@ Property / cites work @@
+Positivity Problems for Low-Order Linear Recurrence Sequences
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of linear programs with nonlinear constraints
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5089280