Blog
About

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

On structuring proof search for first order linear logic

,  

Theoretical Computer Science

Elsevier BV

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 references 10

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

      Linear logic

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

        Logic Programming with Focusing Proofs in Linear Logic

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

          Uniform proofs as a foundation for logic programming

            Bookmark

            Author and article information

            Journal
            Theoretical Computer Science
            Theoretical Computer Science
            Elsevier BV
            03043975
            August 2006
            August 2006
            : 360
            : 1-3
            : 42-76
            10.1016/j.tcs.2005.11.047
            © 2006

            http://www.elsevier.com/tdm/userlicense/1.0/

            Comments

            Comment on this article