36 citations · 111 across the 22 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2023
String Compression in FA-Presentable Structures
Dmitry Berdinsky, Sanjay Jain, Bakhadyr Khoussainov +1
We construct a FA-presentation of the structure for which a numerical characteristic defined as the maximum number $ψ…
cs.FL2018
The isomorphism problem for tree-automatic ordinals with addition
Sanjay Jain, Bakhadyr Khoussainov, Philipp Schlicht +1
This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such…