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

Franz BaaderFranz Baader

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

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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