First-order queries on finite structures over the reals

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1995, Pages 79-87

  Paredaens, Jan ^a   Van den Bussche, Jan ^a   Van Gucht, Dirk ^a  

^a UNIVERSITY OF ANTWERP   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; CONSTRAINT THEORY; DATA STRUCTURES; LINEAR PROGRAMMING; MATHEMATICAL MODELS; POLYNOMIALS; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; THEOREM PROVING;

CONSTRAINT PROGRAMMING; FINITE DOMAIN; FINITE MODEL THEORY; FINITE STRUCTURES; FIRST ORDER QUERIES; POLYNOMIAL INEQUALITIES; REALS; TRUTH VALUE;

FORMAL LOGIC;

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

References (15)