Monotonic Rewriting Automata with a Restart Operation.

Frantisek Mrz, Martin Pltek, Petr Jancar, Jrg Vogel

Browse the full SOFSEM paper archive.