Existential Definability over the Subword Ordering

Pascal Baumann, Moses Ganardi, Ramanathan S. Thinniyam, Georg Zetzsche. Existential Definability over the Subword Ordering. In Petra Berenbrink, Benjamin Monmege, editors, 39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference). Volume 219 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.