| _version_ |
1826264166386630656
|
| author |
Kreutzer, S
|
| author_facet |
Kreutzer, S
|
| author_sort |
Kreutzer, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T20:03:23Z
|
| format |
Journal article
|
| id |
oxford-uuid:2818f580-0b66-400c-a68e-bd74a9775fa2
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T20:03:23Z
|
| publishDate |
2004
|
| record_format |
dspace
|
| spelling |
oxford-uuid:2818f580-0b66-400c-a68e-bd74a9775fa22022-03-26T12:10:45ZExpressive Equivalence of Least and Inflationary Fixed−Point LogicJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:2818f580-0b66-400c-a68e-bd74a9775fa2Department of Computer Science2004Kreutzer, 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
|