Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems

From International Center for Computational Logic

Toggle side column

Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems

Franz BaaderFranz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems


Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 86-97, 1991. Springer
The final publication is available at Springer.
@inproceedings{ Baader-RTA-91,
  address = {Como (Italy)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the 4th International Conference on Rewriting Techniques and Applications, {RTA} 91},
  pages = {86--97},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems},
  volume = {488},
  year = {1991},
}