McCallum, Scott; Hong, Hoon On using Lazard’s projection in CAD construction. (English) Zbl 1325.13026 J. Symb. Comput. 72, 65-81 (2016). Reviewer: Francesca Cioffi (Napoli) MSC: 13P05 68W30 03G15 14Q99 PDFBibTeX XMLCite \textit{S. McCallum} and \textit{H. Hong}, J. Symb. Comput. 72, 65--81 (2016; Zbl 1325.13026) Full Text: DOI arXiv
Fronk, Alexander; Kehden, Britta State space analysis of Petri nets with relation-algebraic methods. (English) Zbl 1156.68040 J. Symb. Comput. 44, No. 1, 15-47 (2009). MSC: 68Q85 68Q60 03G15 PDFBibTeX XMLCite \textit{A. Fronk} and \textit{B. Kehden}, J. Symb. Comput. 44, No. 1, 15--47 (2009; Zbl 1156.68040) Full Text: DOI
Düntsch, Ivo A microcomputer based system for small relation algebras. (English) Zbl 0811.03046 J. Symb. Comput. 18, No. 1, 83-86 (1994). MSC: 03G15 03-04 68W30 PDFBibTeX XMLCite \textit{I. Düntsch}, J. Symb. Comput. 18, No. 1, 83--86 (1994; Zbl 0811.03046) Full Text: DOI