Brink, Chris; Britz, Katarina; Schmidt, Renate A. Peirce algebras. (English) Zbl 0811.03047 Formal Asp. Comput. 6, No. 3, 339-358 (1994). Reviewer: Jānis Cīrulis (Riga) MSC: 03G15 68Q60 68T30 PDFBibTeX XMLCite \textit{C. Brink} et al., Formal Asp. Comput. 6, No. 3, 339--358 (1994; Zbl 0811.03047) Full Text: DOI
Brink, Chris; Schmidt, Renate A. Subsumption computed algebraically. (English) Zbl 0825.68604 Comput. Math. Appl. 23, No. 2-5, 329-342 (1992). MSC: 68T30 68Q45 03B99 PDFBibTeX XMLCite \textit{C. Brink} and \textit{R. A. Schmidt}, Comput. Math. Appl. 23, No. 2--5, 329--342 (1992; Zbl 0825.68604) Full Text: DOI