| _version_ |
1826306690751922176
|
| author |
Abramsky, S
|
| author_facet |
Abramsky, S
|
| author_sort |
Abramsky, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T06:51:47Z
|
| format |
Conference item
|
| id |
oxford-uuid:fccf5e32-bb4c-4418-a7c8-66c3549bc2a6
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T06:51:47Z
|
| publishDate |
1994
|
| record_format |
dspace
|
| spelling |
oxford-uuid:fccf5e32-bb4c-4418-a7c8-66c3549bc2a62022-03-27T13:23:44ZProofs as ProcessesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:fccf5e32-bb4c-4418-a7c8-66c3549bc2a6Department of Computer Science1994Abramsky, S
|
| spellingShingle |
Abramsky, S
Proofs as Processes
|
| title |
Proofs as Processes
|
| title_full |
Proofs as Processes
|
| title_fullStr |
Proofs as Processes
|
| title_full_unstemmed |
Proofs as Processes
|
| title_short |
Proofs as Processes
|
| title_sort |
proofs as processes
|
| work_keys_str_mv |
AT abramskys proofsasprocesses
|