User Tools

Site Tools


Solving Linear Equations over Regular Languages

F. Baader and R. Küsters