Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

49 relations
Admissible ruleAlgebraic specificationComputer scienceConstant function
Expand

Broader (3)

Automated theorem provingLogic programmingType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
A Unified Approach to Interpreting Model Predictions
Understanding why a model makes a certain prediction can be as crucial as the prediction's accuracy in many applications. However… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1998
Highly Cited
1998
Term rewriting and all that
Preface 1. Motivating examples 2. Abstract reduction systems 3. Universal algebra 4. Equational problems 5. Termination 6… Expand
Review
1995
Review
1995
Unified Schemes for Radio-Loud Active Galactic Nuclei
The appearance of active galactic nuclei (AGN) depends so strongly on orientation that our current classification schemes are… Expand
Highly Cited
1993
Highly Cited
1993
Discretion versus policy rules in practice
This paper examines how recent econometric policy evaluation research on monetary policy rules can be applied in a practical… Expand
  • figure 1
  • figure 2
Highly Cited
1992
Highly Cited
1992
On the Douglas—Rachford splitting method and the proximal point algorithm for maximal monotone operators
This paper shows, by means of an operator called asplitting operator, that the Douglas—Rachford splitting method for finding a… Expand
  • figure I
  • figure 2
  • figure 3
Highly Cited
1986
Highly Cited
1986
On the Plurality of Worlds.
Preface. 1. A Philosopher's Paradise. The Thesis of Pluraliry of Worlds. Modal Realism at Work: Modality. Modal Realism at Work… Expand
Highly Cited
1985
Highly Cited
1985
Cosmic Strings and Other Topological Defects
Preface 1. Introduction 2. Phase transitions in the early universe 3. Topological defects 4. String field theory 5… Expand
Review
1981
Review
1981
The early Universe
In the past few years one of the most exciting areas of research in physics has been the interdisciplinary field of cosmology and… Expand
Highly Cited
1975
Highly Cited
1975
The entity-relationship model: toward a unified view of data
A data model, called the entity-relationship model, which incorporates the semantic information in the real world is proposed. A… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1975
Highly Cited
1975
The entity-relationship model: toward a unified view of data
A data model, called the entity-relationship model, is proposed. This model incorporates some of the important semantic… Expand
  • table I
  • figure 2
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE