NATO ASI CP

Keyphrases

Publications

volume 131, 1994

Constraint Programming, Proceedings of the NATO Advanced Study Institute on Constraint Programming, Parnu, Estonia, August 13-24, 1993. NATO ASI CP 131 (1994)

1993

Enn Tyugu, Tarmo Uustalu
Higher-Order Functional Constraint Networks. NATO ASI CP (1993)
Yuri V. Matiyasevich
Interval Computations as Propagation of Constraints. NATO ASI CP (1993)
Grigori Mints
Resolution Strategies for the Intuitionistic Logic. NATO ASI CP (1993)
Brian H. Mayoh
Constraint Programming and Artificial Intelligence. NATO ASI CP (1993)
Brian H. Mayoh, Enn Tyugu, Tarmo Uustalu
Constraint Satisfaction and Constraint Programming: A Brief Lead-In. NATO ASI CP (1993)
Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning
Kaleidoscope: A Constraint Imperative Programming Language. NATO ASI CP (1993)
Mark Wallace
Applying Constraints for Scheduling. NATO ASI CP (1993)
Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson
Constraint Hierarchies. NATO ASI CP (1993)
Maurice Bruynooghe, Dmitri Boulanger
Abstract Interpretation for (Constraint) Logic Programming. NATO ASI CP (1993)
Erik Palmgren
Denotational Semantics of Constraint Logic Programming - A Nonstandard Approach. NATO ASI CP (1993)
Eugene C. Freuder
Exploiting Structure in Constraint Satisfaction Problems. NATO ASI CP (1993)
Francesca Rossi, Ugo Montanari
Concurrent Semantics for Concurrent Constraint Programs. NATO ASI CP (1993)
Sverker Janson, Seif Haridi
An Introduction to AKL A Multi-Paradigm Programming Language. NATO ASI CP (1993)
Eero Hyvönen, Stefano De Pascale, Aarno Lehtola
Interval Constraint Programming in C++. NATO ASI CP (1993)
Jaan Penjam, Enn Tyugu
Constraints in NUT. NATO ASI CP (1993)
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
Programming in Timed Concurrent Constraint Languages. NATO ASI CP (1993)