16 search results - page 1 / 4 » Decision Procedures for Queues with Integer Constraints |
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
94
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
84
Voted
IANDC
2006
15 years 1 months ago
2006
103
Voted
ATVA
2010
Springer
15 years 2 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 ...
90
Voted
FOSSACS
2008
Springer
15 years 2 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...