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

      Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers

      1 , 1 , 1 , 1
      Electronic Proceedings in Theoretical Computer Science
      Open Publishing Association

      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
          • Book Chapter: not found

          AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework

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

            The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs

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

              Mechanizing and Improving Dependency Pairs

                Bookmark

                Author and article information

                Journal
                Electronic Proceedings in Theoretical Computer Science
                Electron. Proc. Theor. Comput. Sci.
                EPTCS
                Open Publishing Association
                2075-2180
                February 16 2018
                February 16 2018
                : 265
                : 82-97
                Affiliations
                [1 ]Nagoya University
                Article
                10.4204/EPTCS.265.7
                eb4d52f8-9724-486c-9ff0-114ce1c58669
                © 2018
                History

                Developmental biology,Ecology
                Developmental biology, Ecology

                Comments

                Comment on this article