MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Datalog with Integer Periodicity Constraints." – 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

Datalog with Integer Periodicity Constraints
by David Toman, Jan Chomicki, David S. Rogers — 1994 — Proc. 1994 International Logic Programming Symposium
…Datalog with Integer Periodicity Constraints David Toman, Jan Chomicki, and David S. Rogers Dept…
Cited by 28 (10 self) – Add To MetaCart

LTL over integer periodicity constraints
by Stéphane Demri — 2004 — Proceedings of the 7th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 2987 of LNCS
… in many logical formalisms such as – DATALOG with integer periodicity constraints [TC98], – logical…
Cited by 4 (1 self) – Add To MetaCart

Symbolic User-defined Periodicity in Temporal Relational Databases
by Paolo Terenziani — 2003 — IEEE Transactions on Knowledge and Data Engineering
… et al. [45] extended Datalog with integer periodic constraints. Tuzhilin and Clifford [46] proposed a…
Cited by 8 (7 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB