258 search results - page 41 / 52 » Connections between Relation Algebras and Cylindric Algebras |
TABLEAUX
2007
Springer
15 years 5 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
KI
1999
Springer
15 years 3 months ago
1999
Springer
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
IMPERIAL
1993
15 years 3 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
103
click to vote
ECAI
2006
Springer
15 years 2 months ago
2006
Springer
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
CPHYSICS
2007
14 years 11 months ago
2007
It is commonly accepted that in concentrated solutions or melts high-molecular weight polymers display randomwalk conformational properties without long-range correlations between...