Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,787,181 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.
2015
2015
High efficiency axial diffraction output schemes for the A6 relativistic magnetron
C. Leach
2015
Corpus ID: 109360182
Office of Naval Research Grant N00014-13-1-0565, Air Force Office of Scientific Research Grant FA9550-11-1-0200, Air Force Office…
Expand
2013
2013
Nodal gap in iron-based superconductor CsFe2As2 probed by quasiparticle heat transport
Xianhui Chen
,
L. P. He
,
+5 authors
S. Y. Li
2013
Corpus ID: 118510572
The thermal conductivity of iron-based superconductor CsFe$_2$As$_2$ single crystal ($T_c =$ 1.81 K) was measured down to 50 mK…
Expand
2013
2013
Gravitomagnetic effects in conformal gravity
J. Said
,
J. Sultana
,
K. Adami
2013
Corpus ID: 118523830
Gravitomagnetic effects are characterized by two phenomena: first, the geodetic effect which describes the precession of the spin…
Expand
2010
2010
STRUCTURAL IDENTIFICATION FROM ENVIRONMENTAL VIBRATION TESTING OF AN ASYMMETRIC-PLAN HOSPITAL BUILDING IN ITALY
M. Ferraioli
,
D. Abruzzese
,
L. Miccoli
,
A. Vari
,
G. Lauro
2010
Corpus ID: 53509089
The structural identification from environmental vibration testing of a hospital building in Avezzano (Abruzzo Italy) was…
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
A robust decentralized controller for power system load frequency control
M. Alrifai
,
M. Zribi
39th International Universities Power Engineering…
2004
Corpus ID: 40302831
This paper investigates the load frequency control problem for a multi area power system taking into consideration system…
Expand
Review
2003
Review
2003
Introduction to Old English
P. Baker
2003
Corpus ID: 60838307
Preface. How to use this book. 1. The Anglo-Saxons and Their Language. 1.1 Who Were They?. 1.2 Where Did Their Language Come From…
Expand
Highly Cited
1999
Highly Cited
1999
Decidability for Left-Linaer Growing Term Rewriting Systems
Takashi Nagaya
,
Y. Toyama
International Conference on Rewriting Techniques…
1999
Corpus ID: 39958567
A. term rewriting system is called growing if each variable occurring both the left-hand side and the right-hand side of a…
Expand
1998
1998
Influence of surface interband transitions on surface plasmon dispersion: K/Ag(110)
F. Moresco
,
M. Rocca
,
T. Hildebrandt
,
V. Zielasek
,
M. Henzler
1998
Corpus ID: 62880736
We demonstrate that the qualitative difference of the Ag surfaces with respect to surface plasmon dispersion (nearly linear for…
Expand
1975
1975
The significance of territory size in colonial nesting geese---an hypothesis
J. Ryder
1975
Corpus ID: 130194776
Three possible alternatives are presented to explain the evolution of territory size in geese which nest colonially in the Arctic…
Expand