Dauchet, Max; Heuillard, Thierry; Lescanne, Pierre; Tison, Sophie Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems. (English) Zbl 0705.68067 Inf. Comput. 88, No. 2, 187-201 (1990). MSC: 68Q42 68Q45 03D03 03B25 PDFBibTeX XMLCite \textit{M. Dauchet} et al., Inf. Comput. 88, No. 2, 187--201 (1990; Zbl 0705.68067) Full Text: DOI
Halpern, Joseph Y.; Williams, John H.; Wimmers, Edward L. Completeness of rewrite rules and rewrite strategies for FP. (English) Zbl 0698.68030 J. Assoc. Comput. Mach. 37, No. 1, 86-143 (1990). MSC: 68Q65 68Q55 03D03 68N01 68Q45 03B40 PDFBibTeX XMLCite \textit{J. Y. Halpern} et al., J. Assoc. Comput. Mach. 37, No. 1, 86--143 (1990; Zbl 0698.68030) Full Text: DOI
Kounalis, Emmanuel Pumping lemmas for tree languages generated by rewrite systems. (English) Zbl 0738.68052 Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 369-377 (1990). Reviewer: F.-L.Tiplea (Iaşi) MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{E. Kounalis}, Lect. Notes Comput. Sci. None, 369--377 (1990; Zbl 0738.68052)
Verma, Rakesh M.; Ramakrishnan, I. V. Nonoblivious normalization algorithms for nonlinear rewrite systems. (English) Zbl 0765.68067 Automata, languages and programming, Proc. 17th Int. Colloq., Warwick/GB 1990, Lect. Notes Comput. Sci. 443, 370-385 (1990). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. M. Verma} and \textit{I. V. Ramakrishnan}, Lect. Notes Comput. Sci. 443, 370--385 (1990; Zbl 0765.68067)
Kennaway, Richard The specificity rule for lazy pattern-matching in ambiguous term rewrite systems. (English) Zbl 0765.68064 ESOP’90, Proc. 3rd Eur. Symp., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 432, 256-270 (1990). MSC: 68Q42 68N15 PDFBibTeX XMLCite \textit{R. Kennaway}, Lect. Notes Comput. Sci. 432, 256--270 (1990; Zbl 0765.68064)
Curien, Pierre-Louis; Ghelli, Giorgio Coherence of subsumption. (English) Zbl 0759.03009 CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 132-146 (1990). MSC: 03B40 03F05 68Q55 68Q42 PDFBibTeX XMLCite \textit{P.-L. Curien} and \textit{G. Ghelli}, Lect. Notes Comput. Sci. 431, 132--146 (1990; Zbl 0759.03009)