Synchronizing Automata over Nested Words.

Dmitry Chistikov, Pavel Martyugin, Mahsa Shirmohammadi

Browse the full FOSSACS paper archive.