LATPub10

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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

Franz BaaderFranz Baader

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