LATPub5

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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