Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems

From International Center for Computational Logic
Toggle side column

Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems

Franz BaaderFranz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems


Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
@techreport{ SEKI-SR-90-2,
  author = {F. {Baader}},
  institution = {Universit\"at Kaiserslautern},
  number = {{SR}-90-2},
  title = {Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems},
  type = {{SEKI} Report},
  year = {1990},
}