Bibliography

Semi-Thue systems and generalized Church-Rosser properties

Matthias Jantzen.
Semi-Thue systems and generalized Church-Rosser properties.
Institutsbericht IFI-HH-B-92/82, Institut für Informatik, Universität Hamburg, lagernd am Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 1982.

BibTeX

@techreport{Jantzen82a,
 Address = IFIUniHHAdresse,
 Author = {Jantzen, Matthias},
 Institution = IFIUniHH,
 Number = {IFI-HH-B-92/82},
 Type = IFIBericht,
 Title = {Semi-{Thue} systems and generalized {Church-Rosser} properties},
 Year = 1982
}