Poigné, Axel Once more on order-sorted algebras. (English) Zbl 0778.08002 Mathematical foundations of computer science, Proc. 16th Int. Symp., Kazimierz Dolny/Pol. 1991, Lect. Notes Comput. Sci. 520, 397-405 (1991). MSC: 08A70 68Q55 03G25 PDFBibTeX XMLCite \textit{A. Poigné}, Lect. Notes Comput. Sci. 520, 397--405 (1991; Zbl 0778.08002)
Comon, H.; Lugiez, D.; Schnoebelen, Ph. A rewrite-based type discipline for a subset of computer algebra. (English) Zbl 0739.68048 J. Symb. Comput. 11, No. 4, 349-368 (1991). Reviewer: D.Tătar (Cluj) MSC: 68W30 68Q42 PDFBibTeX XMLCite \textit{H. Comon} et al., J. Symb. Comput. 11, No. 4, 349--368 (1991; Zbl 0739.68048) Full Text: DOI