search result

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 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
Cover von The Exact Hardness of Deciding Derivational and Runtime Complexity

The Exact Hardness of Deciding Derivational and Runtime Complexity

Year: 2011
Media group: LIPIcs
OPEN V 11.1.0.0