Algorithms & data structures
Journal of the ACM (JACM)
Journal of the ACM (JACM)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Two-level control structure for nondeterministic programming
Communications of the ACM
Backtrack programming techniques
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
On Backtracking and Greatest Fixpoints
Proceedings of the Fourth Colloquium on Automata, Languages and Programming
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
An implementation of backtracking for programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
Language facilities for programmable backtracking
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Reasoning from Incomplete Knowledge in a Procedural Deduction System
Mathematical Theory of Computation
Mathematical Theory of Computation
Formal languages and their relation to automata
Formal languages and their relation to automata
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Different perspectives of the N-Queens problem
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Describing Prolog by its interpretation and compilation
Communications of the ACM
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)
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Hi-index | 0.02 |