journal article
oaidoi:10.1016/0167-6423(91)90038-Y

Resolution and type theory

Authors
Publication date
31 December 1991
Publisher
Published by Elsevier B.V.
Doi

    Abstract

    AbstractIn this paper, an inference mechanism is proposed for proof construction in Constructive Type Theory. An interactive system that implements this method has been developed. Some interesting proofs can be derived automatically

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/0167-6423(91)90038...
    Last time updated on 28/04/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.