Safe query languages for constraint databases
ACM Transactions on Database Systems (TODS)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Refining Restriction Enzyme Genome Maps
Constraints
Extensional Set Library for ECLiPSe
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A CHR-based implementation of known arc-consistency
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
Programming with partially specified aggregates in Java
Computer Languages, Systems and Structures
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms
Fundamenta Informaticae
Hi-index | 0.00 |