A Solution to Endrullis-08 and Similar Problems
Author: Alfons Geser
Paper Information
| Title: | A Solution to Endrullis-08 and Similar Problems |
| Authors: | Alfons Geser |
| Proceedings: | WST 2014 Informal Proceedings |
| Editor: | Carsten Fuhs |
| Keywords: | string rewriting, semi-Thue system, uniform termination, termination, loop |
| Abstract: | ABSTRACT. We prove the termination of the string rewriting system Endrullis-08, the termination of infinitely many related systems, and even the termination of their union, an infinite string rewriting system. |
| Pages: | 5 |
| Talk: | Jul 18 12:15 |
| Paper: |  |