Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Algorithms & data structures
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
Communications of the ACM
Artificial intelligence techniques in Prolog
Artificial intelligence techniques in Prolog
Arrays, bounded quantification and iteration in logic and constraint logic programming
Science of Computer Programming - Special issue on mathematics of program construction
ACM Computing Surveys (CSUR)
ICON Programmng Language
Logic Programming with Bounded Quantifiers
Proceedings of the First Russian Conference on Logic Programming
Prolog with Arrays and Bounded Quantifications
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Computational Logic (TOCL)
SALSA: A Language for Search Algorithms
Constraints
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Non-deterministic Computations in ELAN
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
SALSA: A Language for Search Algorithms
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Journal of Functional Programming
CLAIRE: combining sets, search and rules to better express algorithms
Theory and Practice of Logic Programming
On-line resources allocation for ATM networks with rerouting
Computers and Operations Research
Alternation as a programming paradigm
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
CoJava: optimization modeling by nondeterministic simulation
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |