Skip to main content

1 Result(s)

within Article Remove this filter Christian Schwarz Remove this filter Computer Systems Organization and Communication Networks Remove this filter

and

  1. Article

    Open Access

    Alternating complexity of counting first-order logic for the subword order

    This paper considers the structure consisting of the set of all words over a given alphabet together with the subword relation, regular predicates, and constants for every word. We are interested in the counti...

    Dietrich Kuske, Christian Schwarz in Acta Informatica (2023)

    Download PDF (394 KB) View Article