Deciding Emptiness for Constraint Automata on Strings with the Prefix and Suffix Order.

Dominik Peteler, Karin Quaas

Browse the full MFCS paper archive.