Searching for "Quantifier Elimination for Constraint Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Constraint Query Languages
by Peter Revesz, Paris Kanellakis, Paris C. Kanellakis, Gabriel M. Kuper, Gabriel M. Kuper, Peter Z. Revesz — 1992
…, constraint logic programming, relational calculus, Datalog. 1 Introduction 1.1 Motivation and Framework Q…
Cited by 3 (1 self) – Add To MetaCart

Constraint Query Languages
by Paris C. Kanellakis , Gabriel M. Kuper, Peter Z. Revesz — 1992
… queries, spatial databases, data complexity, quantifier elimination, constraint logic programming…
Cited by 315 (34 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB