Pages that link to "Item:Q5096772"
From MaRDI portal
The following pages link to Joining k- and l-recognizable sets of natural numbers (Q5096772):
Displayed 3 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)
- On the existential arithmetics with addition and bitwise minimum (Q6091188) (← links)