Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992

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

Franz Baader, J. Siekmann, W. Snyder
Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992
{BU} Technical Report 93-004. , 1993

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@book{ BaaderSiekmannSnyderBU93:004,
  address = {Boston University, Boston, USA},
  booktitle = {Proceedings of the {S}ixth {I}nternational {W}orkshop on {U}nification, {S}chlo{\ss} {D}agstuhl, July 29--31, 1992},
  editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
  series = {{BU} Technical Report 93-004},
  title = {Proceedings of the {S}ixth {I}nternational {W}orkshop on {U}nification, {S}chlo{\ss} {D}agstuhl, July 29--31, 1992},
  year = {1993},
}