Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation
Compiling High-Level Type Constructors in Constraint Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
Hi-index | 0.00 |