Blog
About

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

      Complexity of matching problems

      , ,

      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.

          Related collections

          Most cited references 5

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

          Complete Sets of Reductions for Some Equational Theories

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

            Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity

             James Slagle (1974)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Pattern Matching in Trees

                Bookmark

                Author and article information

                Journal
                Journal of Symbolic Computation
                Journal of Symbolic Computation
                Elsevier BV
                07477171
                February 1987
                February 1987
                : 3
                : 1-2
                : 203-216
                Article
                10.1016/S0747-7171(87)80027-5
                © 1987

                Comments

                Comment on this article