MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "First-order Queries on Finite Structures over the Reals" – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

First-Order Queries on Finite Structures Over the Reals
by Paredaens University, Jan Van Den Bussche, Inria Rocquencourt, Dirk Van Gucht — 1995
…First-order queries on finite structures over the reals Jan Paredaens, University of Antwerp (UIA…
Add To MetaCart

First-Order Queries on Finite Structures Over the Reals
by Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht — 1995
…First-order queries on finite structures over the reals Jan Paredaens, University of Antwerp Jan…
Cited by 31 (2 self) – Add To MetaCart

Applications of Real First-Order Constraint Solving Bibliography
by Stefan Ratschan, Stanly Steinberg, M. El Kahoui, A. Weber, Deciding Hopf, Sergio Yovine Symbolic — 2001
…, and Dirk van Gucht. First-order queries on finite structures over the reals. SIAM Journal on Computing, 27…
Cited by 2 (2 self) – Add To MetaCart

Contents
by An Interview Jan Paredaens, Jan Van Den Bussche, Dirk Van Gucht, Christopher Re, Dan Suciu, Val Tannen
…. Paredaens, J. Van den Bussche, and D. Van Gucht. First-order queries on finite structures over the reals…
Add To MetaCart

EXISTS([w, z, a], [[-2,2], [-2,2], [0, \infty]],
by Forall Exists Infty — 13
… -1.375 8 [61] J. Paredaens, J. van den Bussche, and D. van Gucht. First-order queries on finite…
Add To MetaCart

Showing 1 through 5.

ATOM

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