Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,639,680 papers from all fields of science
Search
Sign In
Create Free Account
Unification (computer science)
Known as:
Unification (computing)
, Syntactic unification
, Unification
Expand
In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions. Depending on which…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
Admissible rule
Algebraic specification
Computer science
Constant function
Expand
Broader (3)
Automated theorem proving
Logic programming
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
A light NMSSM pseudoscalar Higgs boson at the LHC Run 2
Nils-Erik Bomark
,
S. Moretti
,
S. Munir
,
L. Roszkowski
2015
Corpus ID: 118347709
We revisit the light pseudoscalar $A_1$ in the Next-to-Minimal Supersymmetric Standard Model (NMSSM) with partial universality at…
Expand
Highly Cited
2014
Highly Cited
2014
Computational Methods in Engineering: A Variety ofPrimal & Mixed Methods, with Global & LocalInterpolations, for Well-Posed or Ill-Posed BCs
Leiting Dong
,
Abdullah Alotaibi
,
S. Mohiuddine
,
S. Atluri
2014
Corpus ID: 118127913
In this expository article, a variety of computational methods, such as Collocation, Finite Volume, Finite Element, Boundary…
Expand
Review
2005
Review
2005
Social and Cultural Supports for Plural Democracy in Eight Asian Nations: A Cross-National, Within-Nation Analysis
R. Albritton
2005
Corpus ID: 55614803
This paper examines relative impacts of cultural socialization and interactions with government on support for democracy…
Expand
2005
2005
Morphological Analysis of Inflectional Compound Words in Bangla
2005
Corpus ID: 14498670
The addition of inflectional suffixes in Bangla compound words is fairly complex. Normally, when two root words are joined, the…
Expand
1994
1994
Vector space framework for unification of one- and multidimensional filter bank theory
Tsu-Han Chen
,
P. Vaidyanathan
IEEE Transactions on Signal Processing
1994
Corpus ID: 16662676
A number of results in filter bank theory can be viewed using vector space notations. This simplifies the proofs of many…
Expand
Highly Cited
1993
Highly Cited
1993
Order-sorted polymorphism in Isabelle
T. Nipkow
1993
Corpus ID: 17660122
ML-style polymorphism can be generalized from a single-sorted algebra of types to an order-sorted one by adding a partially…
Expand
Highly Cited
1990
Highly Cited
1990
Parasitic gaps and the theory of 'Wh'-chains
J. Frampton
1990
Corpus ID: 54077110
1990
1990
Scientific explanation: causation and unification
W. Salmon
1990
Corpus ID: 170432361
1988
1988
Time variation of gravitational constant in multidimensional cosmology
K. Bronnikov
,
V. Ivashchuk
,
V. Melnikov
1988
Corpus ID: 119360677
SummaryIn the framework of (4+N)-dimensional cosmology with an isotropic 3-space and a Ricci-flat internal space a relation…
Expand
1983
1983
Resolution by Unification and Equality
Vincent J. Digricoli
1983
Corpus ID: 120034748
In resolution by unification and equality, we recast the theory of binary resolution on the basis of the properties of the…
Expand