52 citations · 155 across the 40 of their papers we have counts for
1 paper · 2 filters
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Julie Cailler +2
Nielsen transformation is a standard approach for solving word equations: by repeatedly splitting equations and applying simplification steps, equations are rewritten until a solut…