| _version_ |
1826260100437770240
|
| author |
Abramsky, S
|
| author_facet |
Abramsky, S
|
| author_sort |
Abramsky, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T19:00:16Z
|
| format |
Conference item
|
| id |
oxford-uuid:1347c405-6afc-4577-b23a-1f41dbbe42fe
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T19:00:16Z
|
| publishDate |
1991
|
| record_format |
dspace
|
| spelling |
oxford-uuid:1347c405-6afc-4577-b23a-1f41dbbe42fe2022-03-26T10:13:01ZDomain Theory in Logical FormConference itemhttp://purl.org/coar/resource_type/c_5794uuid:1347c405-6afc-4577-b23a-1f41dbbe42feDepartment of Computer Science1991Abramsky, S
|
| spellingShingle |
Abramsky, S
Domain Theory in Logical Form
|
| title |
Domain Theory in Logical Form
|
| title_full |
Domain Theory in Logical Form
|
| title_fullStr |
Domain Theory in Logical Form
|
| title_full_unstemmed |
Domain Theory in Logical Form
|
| title_short |
Domain Theory in Logical Form
|
| title_sort |
domain theory in logical form
|
| work_keys_str_mv |
AT abramskys domaintheoryinlogicalform
|