Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994

Jean-Pierre Jouannaud Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germant, September 7-9, 1994 CCL Lecture Notes in Computer Science 845 Springer 1994 3-540-58403-X db/conf/ccl/ccl94.html