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
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 2025-01-13 21:35 CET 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:
