Uniform quantifier elimination and constraint query processing

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1997, Pages 21-27

  Basu, Saugata ^a  

^a MATHEMATICAL SCIENCES RESEARCH INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; CONSTRAINT THEORY; FORMAL LOGIC; MATHEMATICAL MODELS; POLYNOMIALS; THEOREM PROVING;

CONSTRAINT QUERY PROCESSING; UNIFORM QUANTIFIER ELIMINATION ALGORITHMS;

QUERY LANGUAGES;

EID: 0030702653     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258726.258739     Document Type: Conference Paper

References (24)