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