A microcomputer based system for small relation algebras
From MaRDI portal
Publication:1342135
DOI10.1006/jsco.1994.1037zbMath0811.03046OpenAlexW1982009250MaRDI QIDQ1342135
Publication date: 11 January 1995
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jsco.1994.1037
Symbolic computation and algebraic computation (68W30) Cylindric and polyadic algebras; relation algebras (03G15) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (2)
Uses Software
This page was built for publication: A microcomputer based system for small relation algebras