TY - RPRT TI - Existential Definability over the Subword Ordering AU - Pascal Baumann AU - Moses Ganardi AU - Ramanathan S. Thinniyam AU - Georg Zetzsche PY - 2023 DO - 10.46298/lmcs-19(4:35)2023 UR - https://arxiv.org/abs/2210.15642 ID - 2210.15642 ER -