scientific article; zbMATH DE number 1253959

zbMATH Open0915.03031MaRDI QIDQ4226933FDOQ4226933

Authors: Saugata Basu 

Publication date: 30 May 1999

Title of this publication is not available (Why is that?)

Recommendations

• Computer Algebra in Scientific Computing
• Conjunctive-query containment and constraint satisfaction
• scientific article; zbMATH DE number 2090033
• Uniform Constraint Satisfaction Problems and Database Theory
• Foundations of Information and Knowledge Systems
• Finite unary relations and qualitative constraint satisfaction
• Constants and finite unary relations in qualitative constraint reasoning
• Quantifier simplification by unification in SMT

zbMATH Keywords

parityconstraint databasesfirst-order theory of real closed fieldsreal polynomial constraintsuniform quantifier elimination algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Database theory (68P15) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Cited In (3)

• Limits of theory sequences over algebraically closed fields and applications.
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4226933)