C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ICLP Workshop on Concurrent Constraint Programming
1993
1993
1993
Keyphrases
Publications
1993
Philippe Codognet
,
Daniel Diaz
Boolean Constraint Solving Using clp(FD).
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)
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)
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993
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)
Björn Carlson
,
Sverker Janson
,
Johan Montelius
Aspects of Constraint Solving for AKL (Extended Abstract).
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)
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)
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)
Dan Sahlin
,
Thomas Sjöland
Towards Abstract Interpretation of AKL.
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)