We investigate a first-order array theory of bounded elements. By reducing to weak second-order logic with one successor (WS1S), we show that the proposed array theory is decidable. Finally, two natural extensions to the new theory are shown to be undecidable. © 2010 Springer-Verlag.
CITATION STYLE
Zhou, M., He, F., Wang, B. Y., & Gu, M. (2010). On array theory of bounded elements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6174 LNCS, pp. 570–584). https://doi.org/10.1007/978-3-642-14295-6_50
Mendeley helps you to discover research relevant for your work.