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

Cached

Download Links

by Robin Hirsch , Ian Hodkinson
Venue:Journal of Symbolic Logic
Citations:29 - 16 self

Documents Related by Co-Citation

65 The representation of relational algebras – R Lyndon - 1950
45 On representable relation algebras – J D Monk - 1964
187 Boolean algebras with operators – B Jónsson, A Tarski - 1951
378 Constraint propagation algorithms for temporal reasoning – Marc Vilain, Henry Kautz, Peter Beek - 1986
456 Model Theory – C C Chang, H J Keisler - 1973
841 Towards a general theory of action and time – J F Allen - 1984
955 Constraint Networks – Rina Dechter - 1992
24 Representation problems for relation algebras – B Jónsson, A Tarski - 1192
2332 Maintaining knowledge about temporal intervals – James F. Allen, Lames F. Allen - 1983