Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
25
views
9
references
Top references
cited by
13
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,967
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Foundations of Software Science and Computational Structures
What Else Is Decidable about Integer Arrays?
other
Author(s):
Peter Habermehl
,
Radu Iosif
,
Tomáš Vojnar
Publication date
(Print):
2008
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
9
Record
: found
Abstract
: not found
Book Chapter
: not found
Multiple counters automata, safety analysis and presburger arithmetic
Hubert Comon
,
Yan Jurski
(1998)
0
comments
Cited
30
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
What’s Decidable About Arrays?
Aaron R. Bradley
,
Zohar Manna
,
Henny B. Sipma
(2005)
0
comments
Cited
29
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Decision procedures for extensions of the theory of arrays
Silvio Ghilardi
,
Enrica Nicolini
,
Silvio Ranise
…
(2007)
0
comments
Cited
8
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2008
Pages
: 474-489
DOI:
10.1007/978-3-540-78499-9_33
SO-VID:
d3698835-b682-4c5b-a949-9fc7cf1ea9cb
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 20
The Complexity of Nash Equilibria in Infinite Multiplayer Games
pp. 287
On Decision Problems for Probabilistic Büchi Automata
pp. 302
Model-Checking ω-Regular Properties of Interval Markov Chains
pp. 365
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
pp. 474
What Else Is Decidable about Integer Arrays?
Similar content
3,967
Comparison of Mixed-Integer Programming and Genetic Algorithm Methods for Distributed Generation Planning
Authors:
James D Foster
,
Adam Berry
,
Natashia Boland
…
Integer-ratio policies for distribution/inventory systems
Authors:
B Abdul-Jalbar
,
J Gutierrez
,
J Sicilia
An Efficient Exact Quantum Algorithm for the Integer Square-free Decomposition Problem
Authors:
Jun-Jun Li
,
Xinhua Peng
,
Jiangfeng Du
…
See all similar
Cited by
13
Complete Instantiation for Quantified Formulas in Satisfiabiliby Modulo Theories
Authors:
Yeting Ge
,
Leonardo de Moura
Path Feasibility Analysis for String-Manipulating Programs
Authors:
Nikolaj Bjørner
,
Nikolai Tillmann
,
Andrei Voronkov
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data
Authors:
Ahmed Bouajjani
,
Cezara Dragoi
,
Constantin Enea
…
See all cited by