Termination Of Term Rewriting Using Dependency Pairs

·2000·DOI

Health Data Science

Data Science and Technologies

Algorithms and Logical Systems

Design Recovery Techniques

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Algorithms and Logical Systems

Neutralin Design Recovery Techniques

Abstract

Citations

330

Year

2000

PageRank

3.0 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Continuous Evolution Of Base Editors With Expanded Target Compatibility And Improved Activity

·2019·528 citations

PASTEC: An Automatic Transposable Element Classification Tool

·2014·267 citations

Reverse Engineering Feature Models

·2011·202 citations

Reasoning About Edits To Feature Models

·2009·196 citations

Scalable Detection Of Semantic Clones

·2008·201 citations

Investigation Of Selected Baseline Removal Techniques As Candidates For Automated Implementation

·2005·271 citations

Remedies For Pseudoreplication

·2004·237 citations

Polymetric Views - A Lightweight Visual Approach To Reverse Engineering

·2003·245 citations

Reverse Engineering And Design Recovery: A Taxonomy

·1990·1,144 citations

An Analysis Of Transformations Revisited, Rebutted

·1982·224 citations