Search and imperative programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
How to Incorporate Negation in a Prolog Compiler
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Absolute versus probabilistic classification in a logical setting
Theoretical Computer Science
Absolute versus probabilistic classification in a logical setting
ALT'05 Proceedings of the 16th international conference on Algorithmic Learning Theory
Relating data-parallelism and (and-) parallelism in logic programs
Computer Languages
| Hi-index | 0.01 |