scientific article; zbMATH DE number 3300552
From MaRDI portal
Publication:5582292
Cited in
(16)- Relation-algebraic semantics
- Some Remarks on Approximations of Arbitrary Binary Relations by Partial Orders
- On Tarski's axiomatic foundations of the calculus of relations
- Lorenzen and constructive mathematics
- A Short Introduction to Löwenheim's Life and Work and to a Hitherto Unknown Paper
- Relation algebras and their application in temporal and spatial reasoning
- The geometry of Boolean space and its elementary figures. I
- Iterative characterizations of Boolean algebras
- Cylindric structures and dependencies in relational databases
- Linear Boolean equations and generalized minterms
- An equational logic sampler
- A proof system for contact relation algebras
- An \textsc{Agg} application supporting visual reasoning
- On the exterior calculus of invariant theory
- Special properties, closures and interiors of crisp and fuzzy relations
- Finite, integral, and finite-dimensional relation algebras: A brief history
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5582292)
