Certified Matchbox
Author: Johannes Waldmann
Paper Information
| Title: | Certified Matchbox |
| Authors: | Johannes Waldmann |
| Proceedings: | WST22 Program papers |
| Editor: | Cynthia Kop |
| Keywords: | Termination, String rewriting, at least three keywords must be specified |
| Pages: | 2 |
| Talk: | Aug 12 14:20 (Session 138H) |
| Paper: |  |