Dieter Hofbauer, Johannes Waldmann
Termination of String Rewriting with Matrix Interpretations
RTA, 2006.
@inproceedings{RTA-2006-HofbauerW, author = "Dieter Hofbauer and Johannes Waldmann", booktitle = "{Proceedings of the 17th International Conference on Term Rewriting and Applications}", doi = "10.1007/11805618_25", editor = "Frank Pfenning", isbn = "3-540-36834-5", pages = "328--342", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Termination of String Rewriting with Matrix Interpretations}", volume = 4098, year = 2006, }