Content
Combination of Constraint Solving Techniques: An Algebraic Point of View.
in: Proceedings of the 6th International Conference on Rewriting Techniques and Applications, RTA-95, Springer-Verlag, Lecture Notes in Computer Science 914, pp. 352-366, 1995.
| Authors/Editors: |
Franz Baader Klaus U. Schulz |
|---|---|
| Publication Date: | 1995 |
| Type of Publication: | Konferenzen/Journale |
Related Links