On Minimalism of Analysis by Reduction by Restarting Automata

Martin Plátek, Dana Pardubská, Markéta Lopatková. On Minimalism of Analysis by Reduction by Restarting Automata. In Glyn Morrill, Reinhard Muskens, Rainer Osswald, Frank Richter, editors, Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings. Volume 8612 of Lecture Notes in Computer Science, pages 155-170, Springer, 2014. [doi]

Abstract

Abstract is missing.