Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures

Franz BaaderFranz Baader, K. SchulzK. Schulz

Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, 50-65, 1992. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderSchulz-CADE-92,
  address = {Saratoga Springs (USA)},
  author = {F. {Baader} and K. {Schulz}},
  booktitle = {Proceedings of the 11th International Conference on Automated Deduction, {CADE-92}},
  pages = {50--65},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Unification in the Union of Disjoint Equational Theories: {C}ombining Decision Procedures},
  volume = {607},
  year = {1992},
}