Rick Erkens: Automaton-based Techniques for Optimized Term Rewriting


Event Details


After five years of PhD research I am finishing my thesis on algorithms for fast term rewriting. In this talk I will look back on the project, summarize the results, and list the open problems