Slice closures of indexed languages and word equations with counting constraints.

Laura Ciobanu, Georg Zetzsche

Browse the full LICS paper archive.