258 search results - page 41 / 52 » Connections between Relation Algebras and Cylindric Algebras |
89
Voted
TABLEAUX
2007
Springer
15 years 6 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...
106
Voted
KI
1999
Springer
15 years 5 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...
117
Voted
IMPERIAL
1993
15 years 4 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...
117
Voted
ECAI
2006
Springer
15 years 4 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...
89
Voted
CPHYSICS
2007
15 years 20 days 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...