Concepedia

Termination and derivational complexity of confluent one-rule string-rewriting systems

Yuji Kobayashi, Masashi Katsura, Kayoko Shikishima-Tsuji

Theoretical Computer Science · 2001 · 11 citations · 3 references

DOI

Concepts

References

3

On the Uniform Halting Problem for Term Rewriting Systems

G. Huet · Medical Entomology and Zoology · 1978 · 178 citations

, , +6

Decision problems for semi-Thue systems with a few rules

Yuri Matiyasevich, Géraud Sénizergues · 2002 · 60 citations

, , +5

On termination of confluent one-rule string-rewriting systems

Kayoko Shikishima-Tsuji, Masashi Katsura, Yuji Kobayashi · Information Processing Letters · 1997 · 11 citations

, , +4