Existential Definability over the Subword Ordering

Pascal Baumann 0001, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche. Existential Definability over the Subword Ordering. Logical Methods in Computer Science, 19(4), 2023. [doi]

Abstract

Abstract is missing.