Approximating Relative Match-Bounds
Authors: Alfons Geser, Dieter Hofbauer and Johannes Waldmann
Paper Information
| Title: | Approximating Relative Match-Bounds |
| Authors: | Alfons Geser, Dieter Hofbauer and Johannes Waldmann |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Termination, String rewriting, Match-bounds, Right barren |
| Pages: | 5 |
| Talk: | Aug 11 10:00 (Session 120L) |
| Paper: |  |