Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,833,793 papers from all fields of science
Search
Sign In
Create Free Account
Set theory
Known as:
Ordinary set theory
, Abstract set theory
, Set
Expand
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Access structure
Aronszajn tree
B-Method
Binary tree
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Method of Variant Synthesis of Information and Communication Network Structures on the Basis of the Graph and Set-Theoretical Models
V. Mukhin
,
Yury Romanenkov
,
+5 authors
Jun Su
2017
Corpus ID: 59570107
The subject matter of the article is developing information and communication network (ICN) for critical infrastructure systems…
Expand
2009
2009
Top-Down Intelligent Reservoir Modeling (TDIRM)
Y. Khazaeni
,
R. Gaskari
2009
Corpus ID: 8880682
This paper examines the validity of a recently introduced reservoir simulation and modeling technique. The technique, that is…
Expand
2009
2009
An Efficient Approach for Clustering Web Access Patterns from Web Logs
Peilin Shi
2009
Corpus ID: 17777918
The interests of web users can be revealed by their visited web pages and time duration on these web pages during their surfing…
Expand
Highly Cited
2002
Highly Cited
2002
HASCASL: Towards Integrated Specification and Development of Functional Programs
Lutz Schröder
,
Till Mossakowski
International Conference on Algebraic Methodology…
2002
Corpus ID: 29061387
The development of programs in modern functional languages such as Haskell calls for a wide-spectrum specification formalism that…
Expand
2000
2000
In Defense of Vacuous Projections in Bare Phrase Structure
M. Guimarães
2000
Corpus ID: 67808277
According to the current minimalist view, Bare Phrase Structure Theory (Chomsky 1994, 1995) implies the impossibility of vacuous…
Expand
2000
2000
On Approximation of Fuzzy Sets by Crisp Sets: From Continuous Control-Oriented Defuzzification to Discrete Decision Making
Hung T. Nguyen
,
W. Pedrycz
,
V. Kreinovich
2000
Corpus ID: 16840211
In this paper, we show that the necessity to make crisp decisions in uncertain (fuzzy) situations leads to the necessity to…
Expand
1998
1998
Topological Equivalence and Similarity in Multi-Representation Geographic Databases
J. Paiva
1998
Corpus ID: 127931864
1997
1997
Risk in sustainable water resources management
S. P. Sevionovic
1997
Corpus ID: 54037021
Method for the preparation of 1-(3-dimethylaminopropyl)-1-(4-fluoro-phenyl)-1,3-dihydroisobenzofuran-5-carbonitrile (citalopram…
Expand
1990
1990
Correspondenceless Stereo and Motion: Planar Surfaces
Y. Aloimonos
,
J. Hervé
IEEE Transactions on Pattern Analysis and Machine…
1990
Corpus ID: 19889228
It is shown that a binocular observer can recover the depth and three-dimensional motion of a rigid planar patch without using…
Expand
1985
1985
Integrated structural/control synthesis via set-theoretic methods
A. Hale
1985
Corpus ID: 123904514