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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
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
Preface 1. Motivating examples 2. Abstract reduction systems 3. Universal algebra 4. Equational problems 5. Termination 6… Expand
Review
1995
Review
1995
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
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
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
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
Preface 1. Introduction 2. Phase transitions in the early universe 3. Topological defects 4. String field theory 5… Expand
Review
1981
Review
1981
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
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
A data model, called the entity-relationship model, is proposed. This model incorporates some of the important semantic… Expand
  • table I
  • figure 2