Termination and derivational complexity of confluent one-rule string-rewriting systems
| Autor: | Kobayashi, Yuji *, Katsura, Masashi, Shikishima-Tsuji, Kayoko |
|---|---|
| Zdroj: | In Theoretical Computer Science 6 July 2001 262(1-2):583-632 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect