Languages ordered by the subword order

DOI10.1007/978-3-030-17127-8_20OpenAlexW2910371329MaRDI QIDQ2289086

Dietrich Kuske, Georg Zetzsche

Publication date: 28 January 2020

Full work available at URL: https://arxiv.org/abs/1901.02194

zbMATH Keywords

first-order logicdecidable theoriessubword ordercounting quantifiers

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (11)

Scattered Factor-Universality of Words ⋮ The Subtrace Order and Counting First-Order Logic ⋮ Absent Subsequences in Words ⋮ Unboundedness problems for machines with reversal-bounded counters ⋮ Longest Common Subsequence with Gap Constraints ⋮ Alternating complexity of counting first-order logic for the subword order ⋮ Subsequences in bounded ranges: matching and analysis problems ⋮ Existential Definability over the Subword Ordering ⋮ Absent subsequences in words ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Languages ordered by the subword order