Unification Theory

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Unification Theory

Franz BaaderFranz Baader
Unification Theory


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