No. Title Author Year
1 Complexity of Acyclic Term Graph Rewriting Avanzini, Martin et al. 2016
2 Leftmost Outermost Revisited Hirokawa, Nao et al. 2015
3 Multivariate Amortised Resource Analysis for Term Rewrite Systems Hofmann, Martin et al. 2015
4 A Combination Framework for Complexity Avanzini, Martin et al. 2013
5 The Structure of Interaction Gimenez, Stéphane et al. 2013
6 Tyrolean Complexity Tool: Features and Usage Avanzini, Martin et al. 2013
7 A Path Order for Rewrite Systems that Compute Exponential Time Functions Avanzini, Martin et al. 2011
8 Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity Moser, Georg et al. 2011
9 Closing the Gap Between Runtime Complexity and Polytime Computability Avanzini, Martin et al. 2010
10 Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations Moser, Georg et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 10

DROPS-Home | Fulltext Search | Imprint Published by LZI