T. Karimov

activity

20202026

most citedReachability in Dynamical Systems with Rounding

1 citations · 3 across the 13 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LO2026

Rich Sequences and Decidability of Arithmetic Theories

Toghrul Karimov, Joris Nieuwveld, Joël Ouaknine

We develop a new framework for proving the undecidability of first-order theories of structures of the form $⟨ N; +, P ⟩$ , $⟨ N; <, f ⟩$ ,…

cs.FL2026

Preservation Theorems for Transducer Outputs

Valérie Berthé, Herman Goulet-Ouellet, Toghrul Karimov +2

Suppose we have a deterministic finite-state transducer $A$ and an infinite word $x$ , and run $A$ on $x$ to obtain an infinite word $A (x)$ . Which properties of $x$ are guaranteed t…