CiteSeerX — Related by cluster: Using Recursive Types to Reason about Hardware in Higher Order Logic

Using Recursive Types to Reason about Hardware in Higher Order Logic (1988)

Cached

Download Links

[ftp.dcs.gla.ac.uk]
[www.cl.cam.ac.uk]

Other Repositories/Bibliography

DBLP

by Thomas Melham

Citations:

19 - 1 self

Document Versions

Using Recursive Types to Reason about Hardware in Higher Order Logic –Thomas Melham — 1988

Using Recursive Types to Reason about Hardware in Higher Order Logic –Thomas Melham — 1988