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
}
