𝔖 Bobbio Scriptorium
✦   LIBER   ✦

R. Hirsch, Relation algebras of intervals

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
92 KB
Volume
83
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An interval-based temporal algebra based
An interval-based temporal algebra based on binary encoding of point relations
✍ Vincent J. Kovarik Jr.; Avelino J. Gonzalez πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 287 KB

This paper presents a method for representing temporal interval relations using a bit-encoded form of the relationships between interval end points. The set of bit patterns for each interval relationship yields a unique, single-byte signature that forms the basis of a binary temporal algebra. Also p

Intervals of Binary Relations
Intervals of Binary Relations
✍ David W. H. Gillam πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 284 KB
Relation algebras: Concept of points and
Relation algebras: Concept of points and representability
✍ G. Schmidt; T. StrΓΆhlein πŸ“‚ Article πŸ“… 1985 πŸ› Elsevier Science 🌐 English βš– 621 KB

In the axiomatization of relation algebras by Chin and Tarski certain elements are called fight ideals. Aiming at applications in the relational theory of graphs and programs, we call such ideals 'points' and investigate an additional point axiom. First we prove a point insertion theorem. Then a rep

A Classification of Simple Limits of Spl
A Classification of Simple Limits of Splitting Interval Algebras
✍ Xinhui Jiang; Hongbing Su πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 477 KB

Let A be a unital simple limit of finite direct sums of sub-homogeneous interval algebras of a certain type (cf. Definition 1.1). It is proved that A can be classified by the scaled ordered group K 0 (A), the simplex T(A), and the canonical pairing between them. It is also shown that K 0 (A) might f