A microcomputer based system for small relation algebras

DOI10.1006/jsco.1994.1037zbMath0811.03046OpenAlexW1982009250MaRDI QIDQ1342135

Ivo Duentsch

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

zbMATH Keywords

relation algebras

Mathematics Subject Classification ID

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)

Expressibility of properties of relations ⋮ Revision of defeasible preferences

Uses Software

• nauty

This page was built for publication: A microcomputer based system for small relation algebras