Cardinality operator: A new logical connective for constraint logic programming

Volumn , Issue , 1991, Pages 745-759

  Van Hentenryck, Pascal ^a   Deville, Yves ^a  

^a BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; HIGH LEVEL LANGUAGES; INFERENCE ENGINES; MATHEMATICAL OPERATORS;

CARDINALITY OPERATOR; CONSTRAINT LOGIC PROGRAMMING (CLP); LOGIC PROGRAMMING (LP) LANGUAGE; LOGICAL CONNECTIVE; PROGRAMMING ABSTRACTION; UNIFICATION;

LOGIC PROGRAMMING;

EID: 0026289374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)