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

      Theorems for free!

      proceedings-article
      Author(s):
      Publication date (Print):
      Conference name: the fourth international conference (FPCA '89)
      Conference date: October 11, 1989 - October 13, 1989

      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

          Conference
          Publication date (Print): 1989
          Pages: 347-359
          Article
          DOI: 10.1145/99370.99404
          SO-VID: 36b4e46b-662f-425b-8ffc-73cfe533a103
          Copyright © © 1989
          Conference name: the fourth international conference
          Conference acronym: FPCA '89
          Conference number: 4
          Conference location: Imperial College, London, United Kingdom
          Conference date: October 11, 1989 - October 13, 1989
          Conference sponsor: SIGARCH, ACM Special Interest Group on Computer Architecture
          Conference sponsor: IFIP WG 2.8
          Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages
          History

          Data availability:

          Comments

          Comment on this article