| _version_ |
1826302170446692352
|
| author |
Kreutzer, S
|
| author_facet |
Kreutzer, S
|
| author_sort |
Kreutzer, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T05:43:29Z
|
| format |
Conference item
|
| id |
oxford-uuid:e6680de8-78d1-472a-9fed-933fbf4e6c4b
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T05:43:29Z
|
| publishDate |
2002
|
| record_format |
dspace
|
| spelling |
oxford-uuid:e6680de8-78d1-472a-9fed-933fbf4e6c4b2022-03-27T10:30:47ZExpressive Equivalence of Least and Inflationary Fixed−Point LogicConference itemhttp://purl.org/coar/resource_type/c_5794uuid:e6680de8-78d1-472a-9fed-933fbf4e6c4bDepartment of Computer Science2002Kreutzer, S
|
| spellingShingle |
Kreutzer, S
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title |
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title_full |
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title_fullStr |
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title_full_unstemmed |
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title_short |
Expressive Equivalence of Least and Inflationary Fixed−Point Logic
|
| title_sort |
expressive equivalence of least and inflationary fixed point logic
|
| work_keys_str_mv |
AT kreutzers expressiveequivalenceofleastandinflationaryfixedpointlogic
|