UniMoK: A System for Combining Equational Unification Algorithms

From International Center for Computational Logic

Toggle side column

UniMoK: A System for Combining Equational Unification Algorithms

Stephan KepserStephan Kepser,  Jörn RichtsJörn Richts
UniMoK: A System for Combining Equational Unification Algorithms


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