Exploiting implicit parallelism of logic languages with the SAM
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Processing sets on a SIMD machine
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Complexity and Algorithms for the Matching of Bag and Set Terms
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Stratified Partial-Order Logic Programming
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Integrating finite domain constraints and CLP with sets
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A general framework for lazy functional logic programming with algebraic polymorphic types
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Programming with partially specified aggregates in Java
Computer Languages, Systems and Structures
Design and implementation of 812: A declarative data-parallel language
Computer Languages
Hi-index | 0.00 |