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

Cached

Download Links

by Robin Hirsch , Ian Hodkinson
Venue:Journal of Symbolic Logic
Citations:28 - 15 self

Active Bibliography

5 Relation algebras for reasoning about time and space – Roger D. Maddux - 1994
87 On Binary Constraint Problems – Peter B. Ladkin, Roger D. Maddux - 1994
19 Complete Representations in Algebraic Logic – Robin Hirsch , Ian Hodkinson
4 Non-Representable Algebras of Relations – Andras Simon, Andr As Simon - 1997
1 Relation algebras and their application in qualitative spatial reasoning – Ivo Düntsch, Ivo Düntsch - 2005
9 AXIOMS, ALGEBRAS, AND TOPOLOGY – Brandon Bennett, Ivo Düntsch
20 Expressive Power and Complexity in Algebraic Logic – Robin Hirsch - 1997
9 Relation Algebras with n-Dimensional Relational Bases – Robin Hirsch, Ian Hodkinson - 1999
2 Completely Representable Relation Algebras – Robin Hirsch - 1995
15 Relation Algebras of Intervals – Robin Hirsch - 1994
17 COMPLEXITY OF EQUATIONS VALID IN ALGEBRAS OF RELATIONS -- Part II: Finite axiomatizations. – Hajnal Andréka
8 Relation Algebras from Cylindric Algebras, I – Robin Hirsch, Ian Hodkinson - 1999
40 The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations – Roger D. Maddux - 1991
List of Axioms and Axiom Systems – n.n.
Preface – Steven Givant, Hajnal Andréka Contents
The Construction and Analysis of Simple Relation Algebras – Steven Givant
1 The Complexity of Constraint Satisfaction Problems For Small Relation Algebras – M. Cristani, R. Hirsch
3 Strongly representable atom structures of relation algebras – Robin Hirsch, Ian Hodkinson - 2001
15 Representability is not decidable for finite relation algebras – Robin Hirsch, Ian Hodkinson - 1999