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

F. BaaderF. Baader

F. Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@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},
}