@inproceedings{09362526dfdf4beb9d57551d6075163f,
title = "Termination by quasi-periodic interpretations",
abstract = "We present a new method for automatically proving termination of term rewriting and string rewriting. It is based on the well-known idea of interpretation of terms in natural numbers where every rewrite step causes a decrease. In the dependency pair setting only weak monotonicity is required for these interpretations. For these we use quasi-periodic functions. It turns out that then the decreasingness for rules only needs to be checked for finitely many values, which is easy to implement. Using this technique we automatically prove termination of over ten string rewriting systems in TPDB for which termination was open until now.",
author = "H. Zantema and J. Waldmann",
year = "2007",
doi = "10.1007/978-3-540-73449-9_30",
language = "English",
isbn = "978-3-540-73447-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "404--418",
editor = "F. Baader",
booktitle = "Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA 2007) 26-28 June 2007, Paris, France",
address = "Germany",
note = "conference; RTA 2007, Paris, France; 2007-06-26; 2007-06-28 ; Conference date: 26-06-2007 Through 28-06-2007",
}