Unification Theory

Franz BaaderFranz Baader

Franz Baader
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderA-IWWERT-91,
  address = {T\"ubingen (Germany)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the First International Workshop on Word Equations and Related Topics, {IWWERT-90}},
  pages = {151--170},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Unification Theory},
  volume = {572},
  year = {1991},
}