- Record: found
- Abstract: not found
- Article: not found
Termination of String Rewriting Proved Automatically
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references9
- Record: found
- Abstract: not found
- Book Chapter: not found
Automated Termination Proofs with AProVE
Jürgen Giesl, René Thiemann, Peter Schneider-Kamp … (2004)
- Record: found
- Abstract: not found
- Book Chapter: not found
Dependency Pairs Revisited
Nao Hirokawa, Aart Middeldorp (2004)
- Record: found
- Abstract: not found
- Book Chapter: not found
Matchbox: A Tool for Match-Bounded String Rewriting
Johannes Waldmann (2004)