Blog
About

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

      Termination of rewriting

      Journal of Symbolic Computation

      Elsevier BV

      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.

          Abstract

          Related collections

          Most cited references 51

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

          Ordering by Divisibility in Abstract Algebras

           Graham Higman (1952)
            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Quantifier elimination for real closed fields by cylindrical algebraic decompostion

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

              On Theories with a Combinatorial Definition of "Equivalence"

               M. Newman (1942)
                Bookmark

                Author and article information

                Journal
                Journal of Symbolic Computation
                Journal of Symbolic Computation
                Elsevier BV
                07477171
                February 1987
                February 1987
                : 3
                : 1-2
                : 69-115
                Article
                10.1016/S0747-7171(87)80022-6
                © 1987

                Comments

                Comment on this article