Bibliography

Semi-Thue systems and generalized Church-Rosser properties

Matthias Jantzen.
Semi-Thue systems and generalized Church-Rosser properties.
In Dominique Perrin, editor, Acte des journées Fête Des Mots (Rouen, 7.-8. Juin 1982), volume 26, pages 60-75, Rouen, France, 1982. La Société Mathematique de France et le GRECO de Programmation.

BibTeX

@inproceedings{Jantzen82,
 Address = {Rouen, France},
 Author = {Jantzen, Matthias},
 Booktitle = {Acte des journ{\'e}es F{\^e}te Des Mots (Rouen, 7.-8. Juin 1982)},
 Editor = {Perrin, Dominique},
 Pages = {60--75},
 Publisher = {La Soci{\'e}t{\'e} Mathematique de France et le {GRECO} de Programmation},
 Title = {Semi-{Thue} systems and generalized {Church-Rosser} properties},
 Volume = 26,
 Year = 1982
}