Complexity of Counting First-Order Logic for the Subword Order

Dietrich Kuske, Christian Schwarz. Complexity of Counting First-Order Logic for the Subword Order. In Javier Esparza, Daniel Král', editors, 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. Volume 170 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]

Abstract

Abstract is missing.