36 citations · 111 across the 22 of their papers we have counts for
3 papers · 1 filter
Large Scale Geometries of Infinite Strings
Bakhadyr Khoussainov, Toru Takisaka
We introduce geometric consideration into the theory of formal languages. We aim to shed light on our understanding of global patterns that occur on infinite strings. We utilise me…
Computability Aspects of Differential Games in Euclidian Spaces
Gafurjan Ibragimov, Bakh Khoussainov, Arno Pauly
We study computability-theoretic aspects of differential games. Our focus is on pursuit and evasion games played in Euclidean spaces in the tradition of Rado's "Lion versus Man" ga…
Random Subgroups of Rationals
Ziyuan Gao, Sanjay Jain, Bakhadyr Khoussainov +4
This paper introduces and studies a notion of \emph{algorithmic randomness} for subgroups of rationals. Given a randomly generated additive subgroup of rationals, two main…