Step by Step - Building Representations in Algebraic Logic (1995)

Cached

Download Links

by Robin Hirsch , Ian Hodkinson
Venue:Journal of Symbolic Logic
Citations:30 - 17 self

Active Bibliography

93 On Binary Constraint Problems – Peter B. Ladkin, Roger D. Maddux - 1994
5 Relation algebras for reasoning about time and space – Roger D. Maddux - 1994
19 Complete Representations in Algebraic Logic – Robin Hirsch , Ian Hodkinson
4 Non-Representable Algebras of Relations – Andras Simon - 1997
1 Relation algebras and their application in qualitative spatial reasoning – Ivo Düntsch - 2005
9 Relation Algebras with n-Dimensional Relational Bases – Robin Hirsch, Ian Hodkinson - 1999
Outline Aspects of relation algebras – Ian Hodkinson
21 Expressive Power and Complexity in Algebraic Logic – Robin Hirsch - 1997
9 AXIOMS, ALGEBRAS, AND TOPOLOGY – Brandon Bennett, Ivo Düntsch