LATPub55

PublikationenPublications

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

Toggle side column

Combination Techniques and Decision Problems for Disunification

Franz BaaderFranz Baader,  K. SchulzK. Schulz

Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, 301-315, 1993. Springer

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderSchulz-RTA-93,
  address = {Montreal (Canada)},
  author = {F. {Baader} and K. {Schulz}},
  booktitle = {Proceedings of the International Conference on Rewriting Techniques and Applications, {RTA 93}},
  pages = {301--315},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Combination Techniques and Decision Problems for Disunification},
  volume = {690},
  year = {1993},
}