Skip to search formSkip to main contentSkip to account menu

Term (logic)

Known as: Term (term rewriting), Variant, Linear term 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

40 relations
Algorithmic logicAtomic formulaAtomic sentenceBinary expression tree

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Nodal gap in iron-based superconductor CsFe2As2 probed by quasiparticle heat transport
The thermal conductivity of iron-based superconductor CsFe$_2$As$_2$ single crystal ($T_c =$ 1.81 K) was measured down to 50 mK… 
2011
2011
A Small Open Economy New Keynesian DSGE Model for a Foreign Exchange Constrained Economy
Firms in many low income countries depend entirely on imported capital and intermediate inputs. As a result, in these countries… 
2009
2009
A Glassy Contribution to the Heat Capacity of hcp 4He Solids
We model the low-temperature specific heat of solid 4He in the hexagonal closed packed structure by invoking two-level tunneling… 
2005
2005
Characterization and Modeling of the Ionomer-Conductor Interface in Ionic Polymer Transducers
Ionomeric polymer transducers consist of an ion-exchange membrane plated with conductive metal layers on its outer surfaces. Such… 
2001
2001
Accurate Building Structure Recovery from High Resolution Aerial Imagery
This paper focuses on the problem of automatic extraction and modeling of buildings from stereoscopic pairs of high resolution… 
2000
2000
Solitary Waves in Nonlinear Beam Equations: Stability, Fission and Fusion
We continue work by the second author and co-workers onsolitary wave solutions of nonlinear beam equations and their stabilityand… 
Highly Cited
1999
Highly Cited
1999
Decidability for Left-Linaer Growing Term Rewriting Systems
A. term rewriting system is called growing if each variable occurring both the left-hand side and the right-hand side of a… 
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.
1986
1986
System diagnosis
1975
1975
The significance of territory size in colonial nesting geese---an hypothesis
Three possible alternatives are presented to explain the evolution of territory size in geese which nest colonially in the Arctic… 
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)