Otto, F. On confluence versus strong confluence for one-rule trace-rewriting systems. (English) Zbl 0837.68054 Math. Syst. Theory 28, No. 4, 363-384 (1995). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Otto}, Math. Syst. Theory 28, No. 4, 363--384 (1995; Zbl 0837.68054) Full Text: DOI
Aalbersberg, Ijsbrand Jan; Hoogeboom, Hendrik Jan Characterizations of the decidability of some problems for regular trace languages. (English) Zbl 0679.68132 Math. Syst. Theory 22, No. 1, 1-19 (1989). MSC: 68Q45 03D60 PDFBibTeX XMLCite \textit{I. J. Aalbersberg} and \textit{H. J. Hoogeboom}, Math. Syst. Theory 22, No. 1, 1--19 (1989; Zbl 0679.68132) Full Text: DOI
Arnold, Andre; Nivat, Maurice Formal computations of non deterministic recursive program schemes. (English) Zbl 0441.68044 Math. Syst. Theory 13, 219-236 (1980). MSC: 68W30 68Q60 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{M. Nivat}, Math. Syst. Theory 13, 219--236 (1980; Zbl 0441.68044) Full Text: DOI