Skip to search formSkip to main contentSkip to account menu

Set theory

Known as: Ordinary set theory, Abstract set theory, Set 
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Access structureAronszajn treeB-MethodBinary tree

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that… 
2002
2002
Image Retrieval By Color , Texture , And Spatial Information
A novel approach to image retrieval using color, texture and spatial information is proposed. The color information of an image… 
2002
2002
The fuzzy structure of populations
The human perception of biological organization has profound implications for the study, management, and conservation of living… 
2000
2000
In Defense of Vacuous Projections in Bare Phrase Structure
According to the current minimalist view, Bare Phrase Structure Theory (Chomsky 1994, 1995) implies the impossibility of vacuous… 
1999
1999
Target-less Scanner Color Calibration
The lack of a scanner calibration target representative of the image medium (substrate and colorants) often limits the accuracy… 
1998
1998
Topological Equivalence and Similarity in Multi-Representation Geographic Databases
1998
1998
Languages of perception
ix Acknowledgments I am very grateful to my supervisors, Remko Scha, Peter van Emde Boas and Bipin Indurkhya, for their… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
Highly Cited
1990
Highly Cited
1990
A hierarchical approach to designing approximate reasoning-based controllers for dynamic physical systems
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with… 
1990
1990
Correspondenceless Stereo and Motion: Planar Surfaces
It is shown that a binocular observer can recover the depth and three-dimensional motion of a rigid planar patch without using… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)