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
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
2009
Highly Cited
2009
Dark matter stability and unification without supersymmetry
In the absence of low energy supersymmetry, we show that (a) the dark matter particle alone at the TeV scale can improve gauge… 
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
2006
Highly Cited
2006
Medical diagnosis as pattern recognition in a framework of information compression by multiple alignment, unification and search
Highly Cited
2004
Highly Cited
2004
Comparison of Nuclear Starburst Luminosities between Seyfert 1 and 2 Galaxies Based on Near-Infrared Spectroscopy
We report on infrared K- (2-2.5 μm) and L-band (2.8-4.1 μm) slit spectroscopy of 23 Seyfert 1 galaxies in the CfA and 12 μm… 
Review
2003
Review
2003
Architecture-based approaches to software reliability prediction
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
1990
Highly Cited
1990
Parasitic gaps and the theory of 'Wh'-chains
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)