search result

Cover von Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)

Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk)

Year: 2017
Media group: LIPIcs
Cover von Complexity of Acyclic Term Graph Rewriting

Complexity of Acyclic Term Graph Rewriting

Year: 2016
Media group: LIPIcs
Cover von Multivariate Amortised Resource Analysis for Term Rewrite Systems

Multivariate Amortised Resource Analysis for Term Rewrite Systems

Year: 2015
Media group: LIPIcs
Cover von The Structure of Interaction

The Structure of Interaction

Year: 2013
Media group: LIPIcs
Cover von Tyrolean Complexity Tool

Tyrolean Complexity Tool

Features and Usage
Year: 2013
Media group: LIPIcs
Cover von A Combination Framework for Complexity

A Combination Framework for Complexity

Year: 2013
Media group: LIPIcs
Cover von Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity

Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity

Year: 2011
Media group: ARTICLE
Cover von Closing the Gap Between Runtime Complexity and Polytime Computability

Closing the Gap Between Runtime Complexity and Polytime Computability

Year: 2010
Media group: ARTICLE
Cover von A Path Order for Rewrite Systems that Compute Exponential Time Functions

A Path Order for Rewrite Systems that Compute Exponential Time Functions

Year: 2011
Media group: ARTICLE
Cover von Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Year: 2008
Media group: ARTICLE
OPEN V 11.1.0.0