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
}
