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


DROPS-Home | Fulltext Search | Imprint Published by LZI