Pages that link to "Item:Q3885739"

The following pages link to ON CERTAIN EXTENSIONS OF THE ARITHMETIC OF ADDITION OF NATURAL NUMBERS (Q3885739):

Displaying 10 items.

• Almost periodicity, finite automata mappings, and related effectiveness issues (Q845086) (← links)
• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930) (← links)
• Logic, semigroups and automata on words (Q1817074) (← links)
• Automata techniques for query inference machines (Q1849855) (← links)
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)
• Cobham's Theorem seen through Büchi's Theorem (Q4630271) (← links)
• Joining k- and l-recognizable sets of natural numbers (Q5096772) (← links)
• A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
• The lattice of definability: origins, recent developments, and further directions (Q6132481) (← links)
• On o-Stable Expansions of $$\boldsymbol{(\mathbb{Z},<,+)}$$ (Q6497317) (← links)