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


DROPS-Home | Fulltext Search | Imprint Published by LZI