Q5009704 (Q5009704): Difference between revisions

@@ Property / cites work @@
+A generalization of Cobham's theorem to automata over real numbers
+Normal rank
@@ Property / cites work @@
+On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
+Normal rank
@@ Property / cites work @@
+Automata-Based Symbolic Representations of Polyhedra
+Normal rank
@@ Property / cites work @@
+Mechanizing the Powerset Construction for Restricted Classes of ω-Automata
+Normal rank
@@ Property / cites work @@
+Q3833669
@@ Property / cites work: Q3833669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3575467
@@ Property / cites work: Q3575467 / rank @@
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
+Normal rank
@@ Property / cites work @@
+Effective definability of the reachability relation in timed automata
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Semigroups, Presburger formulas, and languages
@@ Property / cites work: Semigroups, Presburger formulas, and languages / rank @@
+Normal rank
@@ Property / cites work @@
+When is scalar multiplication decidable?
@@ Property / cites work: When is scalar multiplication decidable? / rank @@
+Normal rank
@@ Property / cites work @@
+Expansions of dense linear orders with the intermediate value property
+Normal rank
@@ Property / cites work @@
+Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order
+Normal rank
@@ Property / cites work @@
+The definable criterion for definability in Presburger arithmetic and its applications.
+Normal rank
@@ Property / cites work @@
+A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
+Normal rank
@@ Property / cites work @@
+Essentially periodic ordered groups
@@ Property / cites work: Essentially periodic ordered groups / rank @@
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+The Lattice of Definability. Origins, Recent Developments, and Further Directions
+Normal rank