Mathematical programming: Turing completeness and applications to software analysis (Q405669): Difference between revisions

@@ Property / describes a project that uses @@
+GAMS
@@ Property / describes a project that uses: GAMS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10878-014-9715-3
+Normal rank
@@ Property / OpenAlex ID @@
+W1975283720
@@ Property / OpenAlex ID: W1975283720 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Branching and bounds tighteningtechniques for non-convex MINLP
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Systematic design of program transformation frameworks by abstract interpretation
+Normal rank
@@ Property / cites work @@
+L’algebre de Boole et ses applications en recherche operationnelle
+Normal rank
@@ Property / cites work @@
+Static Analysis by Policy Iteration on Relational Domains
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Static Analysis by Abstract Interpretation: A Mathematical Programming Approach
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal diophantine equation
@@ Property / cites work: Universal diophantine equation / rank @@
+Normal rank
@@ Property / cites work @@
+There Cannot be any Algorithm for Integer Programming with Quadratic Constraints
+Normal rank
@@ Property / cites work @@
+Q3783260
@@ Property / cites work: Q3783260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2861570
@@ Property / cites work: Q2861570 / rank @@
+Normal rank
@@ Property / cites work @@
+A minimalistic look at widening operators
@@ Property / cites work: A minimalistic look at widening operators / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank