Decidability of Trajectory-Based Equations.

Michael Domaratzki, Kai Salomaa

Browse the full MFCS paper archive.