Searching for "Some Points in a Time." – sorted by Relevance.
-
Spatio-Temporal Annotated Constraint Logic Programming
- ) 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
- ) 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
- , -- 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

