Blog
About
Search
Advanced search

23
views
0
references
 Top references
42
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      1,773
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Theorems for free!

      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
          Copyright statement: © 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
          Product

          Data availability:

          Comments

          Comment on this article