First-Order Logic and Numeration Systems (Q4613547): Difference between revisions

@@ Property / describes a project that uses @@
+Walnut
@@ Property / describes a project that uses: Walnut / rank @@
+Normal rank
@@ 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-319-69152-7_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2798232590
@@ Property / OpenAlex ID: W2798232590 / rank @@
+Normal rank
@@ Property / cites work @@
+An analogue of Cobham’s theorem for fractals
@@ Property / cites work: An analogue of Cobham’s theorem for fractals / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity, repetitions, and orbits of an automatic sequence
+Normal rank
@@ Property / cites work @@
+Automatic Sequences
@@ Property / cites work: Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+The ring of \(k\)-regular sequences
@@ Property / cites work: The ring of \(k\)-regular sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Computability by finite automata and pisot bases
@@ Property / cites work: Computability by finite automata and pisot bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3056218
@@ Property / cites work: Q3056218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3559177
@@ Property / cites work: Q3559177 / rank @@
+Normal rank
@@ 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 @@
+A Generalization of Semenov’s Theorem to Automata over Real Numbers
+Normal rank
@@ Property / cites work @@
+Q4219027
@@ Property / cites work: Q4219027 / 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 @@
+Q5517677
@@ Property / cites work: Q5517677 / rank @@
+Normal rank
@@ Property / cites work @@
+On factors of synchronized sequences
@@ Property / cites work: On factors of synchronized sequences / rank @@
+Normal rank
@@ Property / cites work @@
+On synchronized sequences and their separators
@@ Property / cites work: On synchronized sequences and their separators / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-dimensional analogue of Cobham’s theorem for fractals
+Normal rank
@@ Property / cites work @@
+Multidimensional generalized automatic sequences and shape-symmetric morphic words
+Normal rank
@@ Property / cites work @@
+Multi-dimensional sets recognizable in all abstract numeration systems
+Normal rank
@@ Property / cites work @@
+An analogue of Cobham's theorem for graph directed iterated function systems
+Normal rank
@@ Property / cites work @@
+The growth function of \(S\)-recognizable sets
@@ Property / cites work: The growth function of \(S\)-recognizable sets / rank @@
+Normal rank
@@ Property / cites work @@
+ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES
+Normal rank
@@ Property / cites work @@
+Q3628993
@@ Property / cites work: Q3628993 / rank @@
+Normal rank
@@ Property / cites work @@
+On the base-dependence of sets of numbers recognizable by finite automata
+Normal rank
@@ Property / cites work @@
+On Cobham's theorem
@@ Property / cites work: On Cobham's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422500
@@ Property / cites work: Q5422500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-similar and self-affine sets: measure of the intersection of two copies
+Normal rank
@@ Property / cites work @@
+On the structures of generating iterated function systems of Cantor sets
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for the First Order Theory of Real Addition with Order
+Normal rank
@@ Property / cites work @@
+Representations of numbers and finite automata
@@ Property / cites work: Representations of numbers and finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Two applications of the spectrum of numbers
@@ Property / cites work: Two applications of the spectrum of numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Number representation and finite automata
@@ Property / cites work: Number representation and finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4880554
@@ Property / cites work: Q4880554 / rank @@
+Normal rank
@@ Property / cites work @@
+AUTOMATIC THEOREM-PROVING IN COMBINATORICS ON WORDS
+Normal rank
@@ Property / cites work @@
+On the Number of Unbordered Factors
@@ Property / cites work: On the Number of Unbordered Factors / rank @@
+Normal rank
@@ Property / cites work @@
+Greedy numeration systems and regularity
@@ Property / cites work: Greedy numeration systems and regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731958
@@ Property / cites work: Q3731958 / 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 @@
+Efficient minimization of deterministic weak \(\omega\)-automata
+Normal rank
@@ Property / cites work @@
+Q4529547
@@ Property / cites work: Q4529547 / rank @@
+Normal rank
@@ Property / cites work @@
+On syntactic congruences for \(\omega\)-languages
@@ Property / cites work: On syntactic congruences for \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimate Periodicity of b-Recognisable Sets: A Quasilinear Procedure
+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 @@
+Decision algorithms for Fibonacci-automatic Words, I: Basic results
+Normal rank
@@ Property / cites work @@
+Mechanical Proofs of Properties of the Tribonacci Word
+Normal rank
@@ Property / cites work @@
+On theβ-expansions of real numbers
@@ Property / cites work: On theβ-expansions of real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Construction of regular languages and recognizability of polynomials
+Normal rank
@@ Property / cites work @@
+Formal Languages, Automata and Numeration Systems 2
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Subword Complexity and k-Synchronization
@@ Property / cites work: Subword Complexity and k-Synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+The Critical Exponent is Computable for Automatic Sequences
+Normal rank
@@ Property / cites work @@
+Presburgerness of predicates regular in two number systems
+Normal rank
@@ Property / cites work @@
+Decidability and Enumeration for Automatic Sequences: A Survey
+Normal rank
@@ Property / cites work @@
+Enumeration and Automatic Sequences
@@ Property / cites work: Enumeration and Automatic Sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state \(\omega\)-languages
@@ Property / cites work: Finite-state \(\omega\)-languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3212307
@@ Property / cites work: Q3212307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5665234
@@ Property / cites work: Q5665234 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4613547