Decidability questions related to abstract numeration systems (Q1877679): Difference between revisions

@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Bertrand numeration systems and recognizability
@@ Property / cites work: Bertrand numeration systems and recognizability / 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 @@
+Uniform tag sequences
@@ Property / cites work: Uniform tag sequences / rank @@
+Normal rank
@@ Property / cites work @@
+A decision method for the recognizability of sets defined by number systems
+Normal rank
@@ Property / cites work @@
+It is decidable whether the image of an \(\mathbb N\)-rational sequence has a base
+Normal rank
@@ Property / cites work @@
+On the Images of ℕ-Rational Sequences Counting Multiplicities
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Numeration systems on a regular language
@@ Property / cites work: Numeration systems on a regular language / rank @@
+Normal rank
@@ Property / cites work @@
+Thin and slender languages
@@ Property / cites work: Thin and slender languages / rank @@
+Normal rank
@@ Property / cites work @@
+Generalization of automatic sequences for numeration systems on a regular language
+Normal rank
@@ Property / cites work @@
+Numeration systems on a regular language: Arithmetic operations, recognizability and formal power series
+Normal rank
@@ Property / cites work @@
+Q4807827
@@ Property / cites work: Q4807827 / rank @@
+Normal rank
@@ Property / cites work @@
+Numeration systems, linear recurrences, and regular sets
+Normal rank