Structural Presburger digit vector automata (Q2378536): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2008.09.037
@@ Property / DOI: 10.1016/j.tcs.2008.09.037 / rank @@
-Normal rank
@@ Property / cites work @@
+Efficient Symbolic Representations for Arithmetic Constraints in Verification
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine equations, Presburger arithmetic and finite automata
+Normal rank
@@ Property / cites work @@
+Logic and \(p\)-recognizable sets of integers
@@ Property / cites work: Logic and \(p\)-recognizable sets of integers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4427903
@@ Property / cites work: Q4427903 / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds on the automata size for Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Q2847416
@@ Property / cites work: Q2847416 / rank @@
+Normal rank
@@ Property / cites work @@
+The definable criterion for definability in Presburger arithmetic and its applications.
+Normal rank
@@ Property / cites work @@
+Perspectives of System Informatics
@@ Property / cites work: Perspectives of System Informatics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809151
@@ Property / cites work: Q4809151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518891
@@ Property / cites work: Q4518891 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2008.09.037
@@ Property / DOI: 10.1016/J.TCS.2008.09.037 / rank @@
+Normal rank