Set constraints with intersection

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 362-372

  Charatonik, Witold ^a   Podelski, Andreas ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; EQUIVALENCE CLASSES; PROBLEM SOLVING; TREES (MATHEMATICS);

SET CONSTRAINTS;

SET THEORY;

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

References (42)