2 search results - page 1 / 1 » Craig Interpolation for Linear Temporal Languages |
CSL
2009
Springer
14 years 1 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...
SSD
2001
Springer
13 years 11 months ago
2001
Springer
Recently there is much interest in moving objects databases, and data models and query languages have been proposed offering data types such as moving point and moving region toge...