Géraud Sénizergues
Some Undecidable Termination Problems for Semi-Thue Systems
RTA, 1993.
@inproceedings{RTA-1993-Senizergues, author = "Géraud Sénizergues", booktitle = "{Proceedings of the Fifth International Conference on Rewriting Techniques and Applications}", doi = "10.1007/3-540-56868-9_32", editor = "Claude Kirchner", isbn = "3-540-56868-9", pages = "434", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Some Undecidable Termination Problems for Semi-Thue Systems}", volume = 690, year = 1993, }