Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
Atomic formulaBinary treeCircular definitionComputable function

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Robust Exponential Smoothing of Multivariate Time Series
Multivariate time series may contain outliers of different types. In the presence of such outliers, applying standard… 
Highly Cited
2010
Highly Cited
2010
EARLY SOLAR NEBULA CONDENSATES WITH CANONICAL, NOT SUPRACANONICAL, INITIAL 26Al/27Al RATIOS
The short-lived radionuclide 26Al existed throughout the solar nebula 4.57 Ga ago, and the initial abundance ratio (26Al/27Al)0… 
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
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… 
2005
2005
Tuning Systems: From Composition to Performance (The Needham Lecture)
This paper gives a summary of some of the work of the Performance Evaluation Process Algebra (PEPA) project, which was awarded… 
2004
2004
Formalizing Integration Theory with an Application to Probabilistic Algorithms
Inter alia, Lebesgue-style integration plays a major role in advanced probability. We formalize a significant part of its theory… 
Review
2000
Review
2000
High-performance liquid chromatography^ isotope dilution inductively coupled plasma mass spectrometry for speciation studies: an overview
Highly Cited
1995
Highly Cited
1995
Laser Ablation Mass Removal versus Incident Power Density during Solid Sampling for Inductively Coupled Plasma Atomic Emission Spectroscopy
For laser ablation solid sampling, the quantity of material ablated (removed) influences the sensitivity of chemical analysis… 
1989
1989
An improved inductive definition of two restricted classes of triangulations of the plane
Highly Cited
1986
Highly Cited
1986
SOIL-PLANT RELATIONSHIPS IN THE TROPICS
As commonly defined, the tropics comprise that region of the earth lying between the Tropics of Cancer and Capricorn… 
Highly Cited
1955
Highly Cited
1955
Local dimension of normal spaces
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… 
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)