R. Arthan. Private communication, 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Structuring and Automating Hardware Proofs in a.. - Kumar, Schneider, Kropf (1993) (10 citations) (Correct)
....of a new constant. 19. All free variables in this approach are also instantiated at an appropriate stage using unification. 20. Actually, we first generated tactics for backward proofs, which, however, turned out to be quite slow. The rule generation to perform forward proofs was suggested by [57]. 21. A public domain version of FAUST embedded in HOL is available via anonymous ftp from i80s12.ira.uka.de (129.13.18.22) ....
R. Arthan. Private communication, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC