2858 search results - page 158 / 572 » Logics with Aggregate Operators |
DEXA
2008
Springer
13 years 12 months ago
2008
Springer
In this paper, we present an OLAP framework for trajectories of moving objects. We introduce a new operator GROUP TRAJECTORIES for group-by operations on trajectories and present ...
DAC
2007
ACM
14 years 11 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
CSL
2006
Springer
13 years 10 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
JSYML
2000
13 years 10 months ago
2000
The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilb...
SLOGICA
2010
13 years 4 months ago
2010
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the...