32
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      The foundation of a generic theorem prover

      Journal of Automated Reasoning
      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 references9

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

          The calculus of constructions

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

            A unification algorithm for typed λ-calculus

            G.P. Huet (1975)
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Ideas and Results in Proof Theory

                Bookmark

                Author and article information

                Journal
                Journal of Automated Reasoning
                J Autom Reasoning
                Springer Nature
                0168-7433
                1573-0670
                September 1989
                September 1989
                : 5
                : 3
                : 363-397
                Article
                10.1007/BF00248324
                2bfe04e4-0b99-4dd1-b303-fd8fe02ae7b3
                © 1989
                History

                Comments

                Comment on this article