Blog
About
Search
Advanced search

14
views
0
references
 Top references
19
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      4,279
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

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

      Author(s):

      Publication date (Print):

      Journal: Journal of the ACM

      Publisher: Association for Computing Machinery (ACM)

      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

          Author and article information

          Journal
          Title: Journal of the ACM
          Abbreviated Title: J. ACM
          Publisher: Association for Computing Machinery (ACM)
          ISSN (Print): 00045411
          Publication date (Print): October 1974
          Volume: 21
          Issue: 4
          Pages: 622-642
          Article
          DOI: 10.1145/321850.321859
          Product

          Data availability:

          Comments

          Comment on this article