Termination of term rewriting using dependency pairs
By Thomas Arts, Jürgen Giesl. Theoretical Computer Science, 2000
647 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics
View Paper: https://www.semanticscholar.org/paper/fbff0d9afd0bcdd8e3f264741aa2b943b472df7f
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computational Theory and Mathematics
Citations in the corpus
- Termination checking with types (2004, methodology): “We accentuate Giesl’s work, for example, with Arts, on dependency pairs [ 8 ].”