4224 search results - page 106 / 845 » Reasoning about Choice |
133
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
153
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
150
click to vote
BIB
2010
15 years 5 months ago
2010
Dynamic molecular interactions play a central role in regulating the functioning of cells and organisms.The availability of experimentally determined large-scale cellular networks...
131
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
140
click to vote
DIAGRAMS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we develop a cognitive account of autism centered around a reliance on pictorial representations. This Thinking in Pictures hypothesis shows significant po...