MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Some Points in a Time." – 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

Spatio-Temporal Annotated Constraint Logic Programming
by Alessandra Raffaetà, Thom Frühwirth
…) The annotated formula A inJ means that A holds at some time point(s) - but we do not know exactly which…
Cited by 9 (0 self) – Add To MetaCart

MuTACLP: A language for temporal reasoning with multiple theories
by P. Baldan, P. Baldan, A. Raffaetà, P. Mancarella, P. Mancarella, F. Turini, F. Turini — 2001
…) axiom). On the other hand, if a formula holds at some points of a time period then it holds at some…
Cited by 1 (1 self) – Add To MetaCart

Linearity Analysis of Concurrent Logic Programs
by Kazunori Ueda — 1999 — In Proc. Int. Workshop on Parallel and Distributed Computing for Symbolic and Irregular Applications
…, -- assigning a value to a variable at some point in a time space amounts to sending, and -- reading the value…
Cited by 8 (5 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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