| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Term Rewriting Systems as Topological Dynamical Systems | Andersen, Soren Bjerg et al. | 2012 |
| 2 | Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus | Grathwohl, Niels Bjørn Bugge et al. | 2011 |
| 3 | The Exact Hardness of Deciding Derivational and Runtime Complexity | Schnabl, Andreas et al. | 2011 |
| 4 | Higher-Order (Non-)Modularity | Appel, Claus et al. | 2010 |
| 5 | Weak Convergence and Uniform Normalization in Infinitary Rewriting | Simonsen, Jakob Grue | 2010 |
| Number of result pages: | 1 |
| Number of documents: | 5 |
