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

      Logical approximation for program analysis

      Author(s): ,
      Publication date (Print):
      Journal: Higher-Order and Symbolic Computation
      Publisher: Springer Nature

      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

          Most cited references30

          • Record: found
          • Abstract: not found
          • Article: not found

          Logic Programming with Focusing Proofs in Linear Logic

          JEAN-MARC ANDREOLI (1992)
          Article 0 comments Cited 90 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Uniform proofs as a foundation for logic programming

            Dale Miller, Gopalan Nadathur, Frank Pfenning … (1991)
            Article 0 comments Cited 59 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              An overview of the K semantic framework

              Traian Șerbănută, Grigore Rosu (2010)
              Article 0 comments Cited 48 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Higher-Order and Symbolic Computation
                Abbreviated Title: Higher-Order Symb Comput
                Publisher: Springer Nature
                ISSN (Print): 1388-3690
                ISSN (Electronic): 1573-0557
                Publication date Created: June 2011
                Publication date (Print): June 2011
                Volume: 24
                Issue: 1-2
                Pages: 41-80
                Article
                DOI: 10.1007/s10990-011-9071-2
                SO-VID: 2391ff84-e558-475a-b516-00e1f793b497
                Copyright © © 2011
                History

                Data availability:

                Comments

                Comment on this article