Kurth's Criterion H Revisited
Author: Alfons Geser
Paper Information
| Title: | Kurth's Criterion H Revisited |
| Authors: | Alfons Geser |
| Proceedings: | WST 2014 Informal Proceedings |
| Editor: | Carsten Fuhs |
| Keywords: | semi-Thue system, uniform termination, termination, Criterion~H, semantic labelling |
| Abstract: | ABSTRACT. Criterion H is one of the criteria for termination of string rewriting that Winfried Kurth implemented in his thesis. Criterion H can be slightly improved. The improved version can be translated into a termination proof by Semantic Labelling. |
| Pages: | 5 |
| Talk: | Jul 18 15:00 |
| Paper: |  |