Geraud S'enizergues: Decision problems for semi-Thue systems with a few rules (1996)

by Yuri Matiyasevich
Venue:Proceedings of the 11th IEEE Symposium on Logic inComputer Science, IEEE Computer