SUGGESTED IMPROVEMENTS TO THE m-EVES PROVER

Authors
  1. Andrews, J.D.
Corporate Authors
Andyne Computing Ltd, Kingston ONT (CAN);Chief of Research and Development, Ottawa ONT (CAN) Director of Research and Development Communications and Space
Abstract
The paper suggests certain improvements to the m-EVES theorem proving system. The suggestions originate in our experience with m-EVES. It is essential that this paper be read in the context of what m-EVES is: that is, a prototype for a theorem proving system, EVES, intended to accompany the yet to be defined Verdi language. m-EVES has more than fulfilled its prototypical goals. The comments in this paper are expressed in the hope that they may prove useful in the development of EVES.
Date of publication
15 Feb 1988
Number of Pages
9
DSTKIM No
90-04402
CANDIS No
66642
Format(s):
Hardcopy;Originator's fiche received by DSIS

Permanent link

Document 1 of 1

Date modified: