Proof script pragmatics in imps

Abstract

Abstract. This paper introduces the imps proof script mechanism and some practical methods for exploiting it.

Similar works

Full text

thumbnail-image

CiteSeerX

redirect
Last time updated on 22/10/2014

This paper was published in CiteSeerX.

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.