Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,395,320 papers from all fields of science
Search
Sign In
Create Free Account
Term (logic)
Known as:
Term (term rewriting)
, Variant
, Linear term
Expand
In analogy to natural language, where a noun phrase refers to an object and a whole sentence refers to a fact, in mathematical logic, a term denotes…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
40 relations
Algorithmic logic
Atomic formula
Atomic sentence
Binary expression tree
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
A Small Open Economy New Keynesian DSGE Model for a Foreign Exchange Constrained Economy
S. Senbeta
2011
Corpus ID: 55947471
Firms in many low income countries depend entirely on imported capital and intermediate inputs. As a result, in these countries…
Expand
2010
2010
Doping-dependent specific heat study of the superconducting gap in Ba ( Fe 1 − x Co x ) 2 As 2
Krzysztof Gofryk
,
A. S. Sefat
,
+5 authors
F. Ronning
2010
Corpus ID: 118137904
We report a doping, magnetic field, and low-temperature-dependent study of the specific heat of the iron-arsenide Ba(Fe{sub 1-x…
Expand
2009
2009
A Glassy Contribution to the Heat Capacity of hcp 4He Solids
Jung-Jung Su
,
M. Graf
,
A. Balatsky
2009
Corpus ID: 118389924
We model the low-temperature specific heat of solid 4He in the hexagonal closed packed structure by invoking two-level tunneling…
Expand
2005
2005
Characterization and Modeling of the Ionomer-Conductor Interface in Ionic Polymer Transducers
B. Akle
2005
Corpus ID: 114957056
Ionomeric polymer transducers consist of an ion-exchange membrane plated with conductive metal layers on its outer surfaces. Such…
Expand
2004
2004
AN EVALUATION OF THE METHOD OF ESTIMATING BODY FAT IN BIRDS BY QUANTIFYING VISIBLE SUBCUTANEOUS FAT
Christopher
,
M.
,
Rogers
2004
Corpus ID: 11574947
--Field ornithologists frequently quantify the fat reserves of smallto mediumsized birds by assigning a numerical rank to visible…
Expand
2003
2003
Toward the Automatic Derivation of XML Transformations
Martin Erwig
International Conference on Conceptual Modeling
2003
Corpus ID: 12584206
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two…
Expand
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
M. Fujita
,
J. Slaney
,
F. Bennett
International Joint Conference on Artificial…
1993
Corpus ID: 16157391
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite…
Expand
Highly Cited
1993
Highly Cited
1993
Control of Alternaria diseases of brassica seed crops caused by Alternaria brassicae and Alternaria brassicicola with ground and aerial fungicide applications.
M. Babadoost
,
R. L. Gabrielson
,
S. Olson
,
M. Mulanax
1993
Corpus ID: 83439028
Highly Cited
1992
Highly Cited
1992
Control of redundant robots on cyclic trajectories
Alessandro De Luca
,
L. Lanari
,
G. Oriolo
Proceedings IEEE International Conference on…
1992
Corpus ID: 20134126
The authors investigate the problem of how to achieve a cyclic joint behavior in redundant robots performing cyclic tasks…
Expand
Highly Cited
1989
Highly Cited
1989
Overgrowth competition in an assemblage of encrusting bryozoans settled on artificial substrata
J. Gappa
1989
Corpus ID: 54857913
Patterns of intraand interspecific competition on artificial substrata were studled in Patagonia, in an epifaunal community…
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