LATPub10

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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