activity
20232026
most citedEffective equation solving, constraints and growth in virtually abelian groups

2 citations · 2 across the 5 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2024

Slice closures of indexed languages and word equations with counting constraints

Laura Ciobanu, Georg Zetzsche

Indexed languages are a classical notion in formal language theory. As the language equivalent of second-order pushdown automata, they have received considerable attention in highe…