For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
19
views
0
references
 Top references
cited by
37
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      0
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      REDLOG : computer algebra meets computer logic

      Author(s): ,
      Publication date Created:
      Publication date (Print):
      Journal: ACM SIGSAM Bulletin
      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: ACM SIGSAM Bulletin
          Abbreviated Title: SIGSAM Bull.
          Publisher: Association for Computing Machinery (ACM)
          ISSN (Print): 01635824
          Publication date Created: June 01 1997
          Publication date (Print): June 01 1997
          Volume: 31
          Issue: 2
          Pages: 2-9
          Article
          DOI: 10.1145/261320.261324
          SO-VID: 6514e586-0b7e-4a00-969b-f7b511356808
          Copyright © © 1997
          History

          Data availability:

          Comments

          Comment on this article

          scite_
          0
          0
          0
          0
          Smart Citations
          0
          0
          0
          0
          Citing PublicationsSupportingMentioningContrasting
          View Citations

          See how this article has been cited at scite.ai

          scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

          Cited by37

          See all cited by