Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,091,199 papers from all fields of science
Search
Sign In
Create Free Account
Recursive definition
Known as:
Definition (disambiguation)
, Inductive definition
, Recursively define
A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Atomic formula
Binary tree
Circular definition
Computable function
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
COBALT LOADING EFFECTS ON THE STRUCTURE AND ACTIVITY FOR FISCHER-TROPSCH AND WATER-GAS SHIFT REACTIONS OF CO/AL2O3 CATALYSTS
A. Tavasoli
,
K. Sadaghiani
,
A. Nakhaeipour
,
M. Ahangari
2007
Corpus ID: 160032339
An extensive study of Fischer-Tropsch synthesis (FTS) on alumina-supported cobalt catalysts with different amounts of cobalt is…
Expand
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
R. Hirsch
2006
Corpus ID: 675609
We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non…
Expand
2005
2005
Tuning Systems: From Composition to Performance (The Needham Lecture)
J. Hillston
Computer/law journal
2005
Corpus ID: 204983603
This paper gives a summary of some of the work of the Performance Evaluation Process Algebra (PEPA) project, which was awarded…
Expand
2001
2001
The Recursive Definition of Stochastic Linear Programming Problems within an Algebraic Modeling Language
C. S. Buchanan
,
Ken McKinnon
,
G. Skondras
Annals of Operations Research
2001
Corpus ID: 36600249
Many optimization problems can be expressed naturally in a recursive manner. Problems with a dynamic structure are commonly…
Expand
Review
2000
Review
2000
High-performance liquid chromatography^ isotope dilution inductively coupled plasma mass spectrometry for speciation studies: an overview
S. Hill
,
L. Pitts
,
Andrew S. Fisher
2000
Corpus ID: 13800121
1999
1999
Precise isotope ratio measurements for uranium, thorium and plutonium by quadrupole-based inductively coupled plasma mass spectrometry
J. Becker
,
H. Dietze
1999
Corpus ID: 49546959
Precise long-term measurements of uranium and thorium isotope ratios was carried out in 1 μg/L solutions using a quadrupole…
Expand
Highly Cited
1995
Highly Cited
1995
Laser Ablation Mass Removal versus Incident Power Density during Solid Sampling for Inductively Coupled Plasma Atomic Emission Spectroscopy
M. Shannon
,
X. Mao
,
Alberto Fernández
,
W. Chan
,
R. Russo
1995
Corpus ID: 54946972
For laser ablation solid sampling, the quantity of material ablated (removed) influences the sensitivity of chemical analysis…
Expand
1995
1995
Computational issues in calculi of partial inductive definitions
P. Kreuger
SICS dissertation series
1995
Corpus ID: 117429884
We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and…
Expand
1989
1989
An improved inductive definition of two restricted classes of triangulations of the plane
V. Batagelj
1989
Corpus ID: 118918282
Highly Cited
1955
Highly Cited
1955
Local dimension of normal spaces
C. H. Dowker
1955
Corpus ID: 37546142
Introduction LET dim-X be the covering dimension of a space X and let ind X and Ind X be the dimensions defined inductively in…
Expand
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)
ACCEPT & CONTINUE