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
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI