Digital Repository

Browsing by Subject "Relation algebras"

DSpace/Manakin Repository

Browsing by Subject "Relation algebras"

Sort by: Order: Results:

  • Aameri, Bahar (Brock University, 2011-03-08)
    RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil ...
  • Zhang, Si (Brock University, 2011-03-08)
    Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some well-behaved ...
  • Ahmed, Zafor (Brock University, 2010-10-26)
    Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not necessarily finite. When a ...

Search The Repository

Browse

My Account


About the Digital Repository