MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Computing Queries on Linear Constraint Databases." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Computing Queries on Linear Constraint Databases
by Stéphane Grumbach, Zoé Lacroix — 1997
…Computing Queries on Linear Constraint Databases St'ephane Grumbach University of Toronto…
Cited by 3 (2 self) – Add To MetaCart

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
… computable queries on linear constraint databases become denable in FO(TC). This shows that FO…
Cited by 4 (0 self) – Add To MetaCart

Operational Semantics for Fixed-Point Logics on Constraint Databases
by Stephan Kreutzer Rwth, Stephan Kreutzer — 2001 — Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings LPAR 2001, volume 2250 of Lecture Notes in Computer Science
… computable queries on linear constraint databases become denable in FO(TC). This shows that FO…
Add To MetaCart

Showing 1 through 3.

ATOM

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