| _version_ |
1826286343920025600
|
| author |
Martin, A
|
| author_facet |
Martin, A
|
| author_sort |
Martin, A
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T01:42:21Z
|
| format |
Conference item
|
| id |
oxford-uuid:974fc5a3-36c8-469b-98a1-dec698de935b
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T01:42:21Z
|
| publishDate |
1993
|
| publisher |
Springer−Verlag
|
| record_format |
dspace
|
| spelling |
oxford-uuid:974fc5a3-36c8-469b-98a1-dec698de935b2022-03-26T23:58:35ZEncoding : A Logic for Z in 2OBJConference itemhttp://purl.org/coar/resource_type/c_5794uuid:974fc5a3-36c8-469b-98a1-dec698de935bDepartment of Computer ScienceSpringer−Verlag1993Martin, A
|
| spellingShingle |
Martin, A
Encoding : A Logic for Z in 2OBJ
|
| title |
Encoding : A Logic for Z in 2OBJ
|
| title_full |
Encoding : A Logic for Z in 2OBJ
|
| title_fullStr |
Encoding : A Logic for Z in 2OBJ
|
| title_full_unstemmed |
Encoding : A Logic for Z in 2OBJ
|
| title_short |
Encoding : A Logic for Z in 2OBJ
|
| title_sort |
encoding a logic for z in 2obj
|
| work_keys_str_mv |
AT martina encodingalogicforzin2obj
|