General A- and AX-Unification via Optimized Combination Procedures

Franz BaaderFranz Baader, K.U. SchulzK.U. Schulz

Franz Baader, K.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, 23-42, 1992. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderSchulz-IWWERT-91,
  address = {Rouen (France)},
  author = {F. {Baader} and K.U. {Schulz}},
  booktitle = {Proceedings of the Second International Workshop on Word Equations and Related Topics, {IWWERT-91}},
  pages = {23--42},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {General {A}- and {AX}-Unification via Optimized Combination Procedures},
  volume = {677},
  year = {1992},
}