UniMoK: A System for Combining Equational Unification Algorithms

Stephan KepserStephan Kepser, Jörn RichtsJörn Richts

Stephan Kepser, Jörn Richts
UniMoK: A System for Combining Equational Unification Algorithms
Rewriting Techniques and Applications, Proceedings RTA-99, volume 1631 of Lecture Notes in Computer Science, 248-251, 1999. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ KepserRichts-RTA-99,
  author = {Stephan {Kepser} and J{\"o}rn {Richts}},
  booktitle = {Rewriting Techniques and Applications, Proceedings RTA-99},
  pages = {248--251},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {{UniMoK}: A System for Combining Equational Unification Algorithms},
  volume = {1631},
  year = {1999},
}