Skip to search formSkip to main contentSkip to account menu

Unification (computer science)

Known as: Unification (computing), Syntactic unification, Unification 
In logic and computer science, unification is an algorithmic process of solving equations between symbolic expressions. Depending on which… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
Admissible ruleAlgebraic specificationComputer scienceConstant function

Broader (3)

Automated theorem provingLogic programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Higgs boson mass predictions in supergravity unification, recent LHC-7 results, and dark matter
LHC-7 has narrowed down the mass range of the light Higgs boson. This result is consistent with the supergravity unification… 
Highly Cited
2010
Highly Cited
2010
SOA at device level in the industrial domain: Assessment of OPC UA and DPWS specifications
Service-oriented Architecture (SOA) is increasingly relevant across several domains of application by promising systems openness… 
Highly Cited
2008
Highly Cited
2008
The G(2)-MSSM: An M Theory motivated model of Particle Physics
We continue our study of the low energy implications of $M$ theory vacua on ${G}_{2}$-manifolds, undertaken in B. S. Acharya, K… 
Highly Cited
2005
Highly Cited
2005
Gamma-ray bursts as dark energy-matter probes in the context of the generalized Chaplygin gas model
In this paper we consider the use of gamma-ray bursts (GRBs) as distance markers to study the unification of dark energy and dark… 
Review
2000
Review
2000
Problems of Soft Budget Constraints in Intergovernmental Relationships: The Case of Italy
Problems of `soft budget` constraints in intergovernmental relationships are currently at the frontier of research in local… 
Highly Cited
1999
Highly Cited
1999
Software Radio Receivers
From the experiences made one can easily extrapolate that the foreseeable mobile communications market as well as the… 
Highly Cited
1991
Highly Cited
1991
An Approach to Knowledge Acquisition Based on the Structure of Personal Construct Systems
A research effort aimed at the development and unification of the prerequisite underlying theoretical foundations for an adequate… 
Highly Cited
1990
Highly Cited
1990
Parasitic gaps and the theory of 'Wh'-chains
Highly Cited
1986
Highly Cited
1986
Categorial Unification Grammars
Categorial unification grammars (CUGs) embody the essential properties of both unification and categorial grammar formalisms… 
Highly Cited
1986
Highly Cited
1986
D-PATR: A Development Environment for Unification-Based Grammars
I)-PATR is a development environment for unification-based grammars on Xerox l i00 series work stations. It is based on the PATR… 
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)