![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
10th ICLP 1993, Workshop on Concurrent Constraint Programming
- Christian Schulte, Gert Smolka:
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993. 1993 - Sverker Janson, Johan Montelius, Seif Haridi:
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993 - Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy:
An Informal Introduction to LIFE. ICLP Workshop on Concurrent Constraint Programming 1993 - Gert Smolka:
A Survey of Oz - A Higher-order Concurrent Constraint Language. ICLP Workshop on Concurrent Constraint Programming 1993 - Björn Carlson, Sverker Janson, Johan Montelius:
Aspects of Constraint Solving for AKL (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993 - Remco Moolenaar, Bart Demoen:
Optimization Techniques for Nondeterministic Promotion in the Andorra Kernel Language. ICLP Workshop on Concurrent Constraint Programming 1993 - Dan Sahlin, Thomas Sjöland:
Towards Abstract Interpretation of AKL. ICLP Workshop on Concurrent Constraint Programming 1993 - Torbjörn Keisu:
Herbrand Constraints (Extended Abstract). ICLP Workshop on Concurrent Constraint Programming 1993 - Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming 1993 - Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Constraint Logic Programs. ICLP Workshop on Concurrent Constraint Programming 1993 - Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming 1993 - Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming 1993 - Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein:
Order-Sorted Feature Theory Unification. ICLP Workshop on Concurrent Constraint Programming 1993
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.