19
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Computer Aided Verification 

      Progressive Reasoning over Recursively-Defined Strings

      other
      , ,
      Springer International Publishing

      Read this book at

      Buy book Bookmark
          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

          Most cited references21

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

          Z3: An Efficient SMT Solver

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

            A Symbolic Execution Framework for JavaScript

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

              THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP

              G. Makanin (1977)
                Bookmark

                Author and book information

                Book Chapter
                2016
                July 13 2016
                : 218-240
                10.1007/978-3-319-41528-4_12
                98abf316-d191-478c-94aa-826ad929f384
                History

                Comments

                Comment on this book

                Book chapters

                Similar content3,790

                Cited by9