Location of Repository

Contents

By Roger Bishop Jones, Copyright Roger and Bishop Jones

Abstract

An analysis of the ideas behind the engineering of a proof tool to support the Z specification language by semantic embedding into HOL. From the ideas of Leibniz via the creation of the new academic disciplines, first of Mathematical Logic and then of Computer Science, we trac

Year: 2010
OAI identifier: oai:CiteSeerX.psu:10.1.1.186.3330
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.rbjones.com/rbjpub/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.