19
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Decision procedures for extensions of the theory of arrays

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references20

          • Record: found
          • Abstract: not found
          • Article: not found

          Simplification by Cooperating Decision Procedures

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Separation logic: a logic for shared mutable data structures

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Paramodulation-Based Theorem Proving

                Bookmark

                Author and article information

                Journal
                Annals of Mathematics and Artificial Intelligence
                Ann Math Artif Intell
                Springer Science and Business Media LLC
                1012-2443
                1573-7470
                August 22 2007
                July 27 2007
                August 22 2007
                : 50
                : 3-4
                : 231-254
                Article
                10.1007/s10472-007-9078-x
                9c8c8baf-882b-425d-b4e6-2797bfc91c07
                © 2007

                http://www.springer.com/tdm

                History

                Comments

                Comment on this article