LATPub38

PublikationenPublications

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

Toggle side column

6th Workshop on Unification

Franz BaaderFranz Baader,  J. SiekmannJ. Siekmann,  W. SnyderW. Snyder

Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@book{ BaaderSiekmannSnyderUnif,
  address = {{IBFI} {GmbH}, {S}chlo{\ss} {D}agstuhl, Germany},
  booktitle = {6th {W}orkshop on {U}nification},
  editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
  series = {Dagstuhl-Seminar-Report 42},
  title = {6th {W}orkshop on {U}nification},
  year = {1992},
}