| _version_ |
1826312152179277824
|
| author |
Hinze, R
|
| author_facet |
Hinze, R
|
| author_sort |
Hinze, R
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T08:24:46Z
|
| format |
Thesis
|
| id |
oxford-uuid:7dec00a1-7ca1-46b9-bf2b-9f7943e8be73
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T08:24:46Z
|
| publishDate |
2000
|
| record_format |
dspace
|
| spelling |
oxford-uuid:7dec00a1-7ca1-46b9-bf2b-9f7943e8be732024-02-12T11:34:25ZGeneric Programs and ProofsThesishttp://purl.org/coar/resource_type/c_db06uuid:7dec00a1-7ca1-46b9-bf2b-9f7943e8be73Department of Computer Science2000Hinze, R
|
| spellingShingle |
Hinze, R
Generic Programs and Proofs
|
| title |
Generic Programs and Proofs
|
| title_full |
Generic Programs and Proofs
|
| title_fullStr |
Generic Programs and Proofs
|
| title_full_unstemmed |
Generic Programs and Proofs
|
| title_short |
Generic Programs and Proofs
|
| title_sort |
generic programs and proofs
|
| work_keys_str_mv |
AT hinzer genericprogramsandproofs
|