A Generalization of Semenov’s Theorem to Automata over Real Numbers (Q5191120): Difference between revisions

@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+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 @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
+Normal rank
@@ Property / cites work @@
+An effective decision procedure for linear arithmetic over the integers and reals
+Normal rank
@@ Property / cites work @@
+Q3998976
@@ Property / cites work: Q3998976 / rank @@
+Normal rank
@@ Property / cites work @@
+The Büchi Complementation Saga
@@ Property / cites work: The Büchi Complementation Saga / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient minimization of deterministic weak \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Cobham's theorem to automata over real numbers
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5772619
@@ Property / cites work: Q5772619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281563
@@ Property / cites work: Q4281563 / rank @@
+Normal rank
@@ Property / cites work @@
+Don’t Care Words with an Application to the Automata-Based Approach for Real Addition
+Normal rank