Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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
a service of 
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.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
