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

      Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems

      Journal of the ACM
      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.

          Abstract

          Related collections

          Author and article information

          Journal
          Journal of the ACM
          J. ACM
          Association for Computing Machinery (ACM)
          00045411
          October 1980
          : 27
          : 4
          : 797-821
          Article
          10.1145/322217.322230
          abfd7b3a-8a5c-4000-bd24-f1f72c282a6f
          History

          Comments

          Comment on this article