Pages that link to "Item:Q5096772"

The following pages link to Joining k- and l-recognizable sets of natural numbers (Q5096772):

Displaying 2 items.

• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable (Q1202930) (← links)
• Presburger arithmetic and recognizability of sets of natural numbers by automata: New proofs of Cobham's and Semenov's theorems (Q1919534) (← links)