Constraint Programming - NATO ASI Series
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642859854, 9783642859830
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order Functional Constraint Networks

1994 ◽  
pp. 116-139 ◽  
Author(s):  
Enn Tyugu ◽  
Tarmo Uustalu
Keyword(s):  
Higher Order ◽  
Functional Constraint ◽  
Constraint Networks

Programming in Timed Concurrent Constraint Languages

1994 ◽  
pp. 367-413 ◽  
Author(s):  
Vijay Saraswat ◽  
Radha Jagadeesan ◽  
Vinheet Gupta
Keyword(s):  
Constraint Languages

Interval Constraint Programming in C++

1994 ◽  
pp. 350-366 ◽  
Author(s):  
Eero Hyvőnen ◽  
Stefano De Pascale ◽  
Aarno Lehtola
Keyword(s):  
Constraint Programming ◽  
Interval Constraint

Kaleidoscope: A Constraint Imperative Programming Language

1994 ◽  
pp. 313-329 ◽  
Author(s):  
Gus Lopez ◽  
Bjorn Freeman-Benson ◽  
Alan Borning
Keyword(s):  
Programming Language

scholarly journals Abstract Interpretation for (Constraint) Logic Programming

1994 ◽  
pp. 228-260 ◽  
Author(s):  
M. Bruynooghe ◽  
D. Boulanger
Keyword(s):  
Logic Programming ◽  
Abstract Interpretation ◽  
Constraint Logic Programming

Concurrent Semantics for Concurrent Constraint Programs

1994 ◽  
pp. 173-227 ◽  
Author(s):  
Francesca Rossi ◽  
Ugo Montanari

Applying Constraints for Scheduling

1994 ◽  
pp. 153-171 ◽  
Author(s):  
Mark Wallace

Resolution Strategies for the Intuitionistic Logic

1994 ◽  
pp. 289-311 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Intuitionistic Logic ◽  
Resolution Strategies
Load More ...
Sign in / Sign up

Export Citation Format

Share Document