A Note on Unification Type Zero

PublikationenPublications

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

Toggle side column

A Note on Unification Type Zero

Franz BaaderFranz Baader

Franz Baader
A Note on Unification Type Zero
Information Processing Letters, 27:91-93, 1988

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ Baader-IPL-88,
  author = {F. {Baader}},
  journal = {Information Processing Letters},
  pages = {91--93},
  title = {A Note on Unification Type Zero},
  volume = {27},
  year = {1988},
}