Convex Hull of Arithmetic Automata (Q3522060): 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-540-69166-2_4
+Normal rank
@@ Property / OpenAlex ID @@
+W3105316831
@@ Property / OpenAlex ID: W3105316831 / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Hybrid Acceleration
@@ Property / cites work: The Power of Hybrid Acceleration / rank @@
+Normal rank
@@ Property / cites work @@
+An effective decision procedure for linear arithmetic over the integers and reals
+Normal rank
@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / rank @@
+Normal rank
@@ Property / cites work @@
+The convex hull of a regular set of integer vectors is polyhedral and effectively computable
+Normal rank
@@ Property / cites work @@
+Affine relationships among variables of a program
@@ Property / cites work: Affine relationships among variables of a program / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847416
@@ Property / cites work: Q2847416 / rank @@
+Normal rank
@@ Property / cites work @@
+TaPAS: The Talence Presburger Arithmetic Suite
@@ Property / cites work: TaPAS: The Talence Presburger Arithmetic Suite / rank @@
+Normal rank
@@ Property / cites work @@
+Accelerated Data-Flow Analysis
@@ Property / cites work: Accelerated Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Acceleration in Convex Data-Flow Analysis
@@ Property / cites work: Acceleration in Convex Data-Flow Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation and Application of Automata
@@ Property / cites work: Implementation and Application of Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3813613
@@ Property / cites work: Q3813613 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3522060