Bibliography

Thue systems and the Church-Rosser property

Matthias Jantzen.
Thue systems and the Church-Rosser property.
In Chytil. Michal and Václav Koubek, editors, Proceedings of Mathematical Foundations of Computer Science 1984, (MFCS'84, Praha, Czechoslovakia, September 3-7, 1984), volume 176 of Lecture Notes in Computer Science, pages 80-95, Berlin, Heidelberg, New York, 1984. Springer-Verlag.

BibTeX

@inproceedings{Jantzen84b,
 Address = Springer.addr,
 Author = {Jantzen, Matthias},
 Booktitle = {Proceedings of Mathematical Foundations of Computer Science 1984, (MFCS'84, Praha, Czechoslovakia, September 3--7, 1984)},
 Editor = {Chytil. Michal and Koubek, V{\'a}clav},
 Isbn = {3-540-13372-0},
 Pages = {80--95},
 Publisher = Springer,
 Series = LNCS,
 Title = {Thue systems and the {Church-Rosser} property},
 Volume = 176,
 Year = 1984
}