Go to the corresponding LIPIcs Volume Portal 
Baumann, Pascal ; Ganardi, Moses ; Thinniyam, Ramanathan S. ; Zetzsche, Georg
pdfformat: 

@InProceedings{baumann_et_al:LIPIcs.STACS.2022.7, author = {Baumann, Pascal and Ganardi, Moses and Thinniyam, Ramanathan S. and Zetzsche, Georg}, title = {{Existential Definability over the Subword Ordering}}, booktitle = {39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)}, pages = {7:17:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772228}, ISSN = {18688969}, year = {2022}, volume = {219}, editor = {Berenbrink, Petra and Monmege, Benjamin}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/15817}, URN = {urn:nbn:de:0030drops158178}, doi = {10.4230/LIPIcs.STACS.2022.7}, annote = {Keywords: subword, subsequence, definability, expressiveness, first order logic, existential fragment, quantifier alternation} }
Keywords:  subword, subsequence, definability, expressiveness, first order logic, existential fragment, quantifier alternation  
Collection:  39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022)  
Issue Date:  2022  
Date of publication:  09.03.2022 