Characterizations of Unification Type Zero

Franz BaaderFranz Baader

Franz Baader
Characterizations of Unification Type Zero
Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, RTA 89, volume 355 of Lecture Notes in Computer Science, 2-14, 1989. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ Baader-RTA-89,
  address = {Chapel Hill (USA)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the 3rd International Conference on Rewriting Techniques and Applications, {RTA} 89},
  pages = {2--14},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Characterizations of Unification Type Zero},
  volume = {355},
  year = {1989},
}