A Logic of Singly Indexed Arrays

DOI10.1007/978-3-540-89439-1_39zbMath1182.03032OpenAlexW1564554868MaRDI QIDQ5505581

Radu Iosif, Peter Habermehl, Tomáš Vojnar

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_39

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Decision procedures for flat array properties ⋮ A New Acceleration-Based Combination Framework for Array Properties ⋮ Iterating Octagons ⋮ Abstraction refinement and antichains for trace inclusion of infinite state systems ⋮ Array theory of bounded elements and its applications

This page was built for publication: A Logic of Singly Indexed Arrays