Restarting Automata with Rewriting.

Frantisek Mrz, Martin Pltek, Jrg Vogel

Browse the full SOFSEM paper archive.