_version_ |
1797071022623555584
|
author |
Melham, T
|
author_facet |
Melham, T
|
author_sort |
Melham, T
|
collection |
OXFORD
|
description |
|
first_indexed |
2024-03-06T22:47:17Z
|
format |
Report
|
id |
oxford-uuid:5d9a8451-af15-498d-8080-d276c260955a
|
institution |
University of Oxford
|
last_indexed |
2024-03-06T22:47:17Z
|
publishDate |
1988
|
publisher |
Computer Laboratory‚ University of Cambridge
|
record_format |
dspace
|
spelling |
oxford-uuid:5d9a8451-af15-498d-8080-d276c260955a2022-03-26T17:35:27ZUsing Recursive Types to Reason about Hardware in Higher Order LogicReporthttp://purl.org/coar/resource_type/c_93fcuuid:5d9a8451-af15-498d-8080-d276c260955aDepartment of Computer ScienceComputer Laboratory‚ University of Cambridge1988Melham, T
|
spellingShingle |
Melham, T
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title |
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title_full |
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title_fullStr |
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title_full_unstemmed |
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title_short |
Using Recursive Types to Reason about Hardware in Higher Order Logic
|
title_sort |
using recursive types to reason about hardware in higher order logic
|
work_keys_str_mv |
AT melhamt usingrecursivetypestoreasonabouthardwareinhigherorderlogic
|