Polynomial Precise Interval Analysis Revisited (Q3644736): Difference between revisions

@@ 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/978-3-642-03456-5_28
+Normal rank
@@ Property / OpenAlex ID @@
+W1554308843
@@ Property / OpenAlex ID: W1554308843 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174789
@@ Property / cites work: Q4174789 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+A class of polynomially solvable range constraints for interval analysis without widenings
+Normal rank
@@ Property / cites work @@
+A generalization of Dijkstra's algorithm
@@ Property / cites work: A generalization of Dijkstra's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Precise Fixpoint Computation Through Strategy Iteration
+Normal rank
@@ Property / cites work @@
+Accelerated Data-Flow Analysis
@@ Property / cites work: Accelerated Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3644736