Combination Techniques and Decision Problems for Disunification

From International Center for Computational Logic

Toggle side column

Combination Techniques and Decision Problems for Disunification

Franz BaaderFranz Baader,  K. SchulzK. Schulz
Combination Techniques and Decision Problems for Disunification


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