Centrum für Informations- und Sprachverarbeitung

Breadcrumb Navigation


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