[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is behind PVS?



The PVS bibliography at http://pvs.csl.sri.com/applications gives
references to papers that describe the theorem proving techniques
used in PVS.  A simple introduction to HO logic and some of the issues
in theorem proving is the appendix to http://www.csl.sri.com/csl-93-7.html

John
-------