Complexity, Graphs, and the Dependency Pair Method
From MaRDI portal
Publication:5505587
DOI10.1007/978-3-540-89439-1_45zbMATH Open1182.68095OpenAlexW2112258778MaRDI QIDQ5505587FDOQ5505587
Authors: Nao Hirokawa, Georg Moser 
Publication date: 27 January 2009
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_45
Recommendations
- Automated Complexity Analysis Based on the Dependency Pair Method
- A dependency pair framework for innermost complexity analysis of term rewrite systems
- Analyzing innermost runtime complexity of term rewriting by dependency pairs
- Dependency Pairs and Polynomial Path Orders
- Rewriting Techniques and Applications
Cited In (16)
- A combination framework for complexity
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Derivational Complexity Induced by the Dependency Pair Method
- Solving a special case of the P conjecture using dependency graphs with dissolution
- Data complexity measured by principal graphs
- An algorithm for reading dependencies from the minimal undirected independence map of a graphoid that satisfies weak transitivity
- From Jinja bytecode to term rewriting: a complexity reflecting transformation
- A dependency pair framework for innermost complexity analysis of term rewrite systems
- The derivational complexity induced by the dependency pair method
- The correlation between the complexities of the nonhierarchical and hierarchical versions of graph problems
- Dependency Pairs and Polynomial Path Orders
- Analyzing innermost runtime complexity of term rewriting by dependency pairs
- Estimation of expressions' complexities for two-terminal directed acyclic graphs
- Automated Complexity Analysis Based on the Dependency Pair Method
- An assessment of assignment schemes for dependency graphs
This page was built for publication: Complexity, Graphs, and the Dependency Pair Method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505587)
