30
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Book Chapter: found
      Is Open Access
      Foundations of Software Science and Computation Structures 

      Tight Worst-Case Bounds for Polynomial Loop Programs

      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 references28

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

          A Complete Method for the Synthesis of Linear Ranking Functions

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

            The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

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

              Factorization forests of finite height

              Imre Simon (1990)
                Bookmark

                Author and book information

                Book Chapter
                2019
                April 05 2019
                : 80-97
                10.1007/978-3-030-17127-8_5
                95ca97bc-4ccb-4113-a5ff-ca14308c3271
                History

                Comments

                Comment on this book

                Book chapters

                Similar content3,835

                Cited by1