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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI