| _version_ |
1797079913947201536
|
| author |
Kreutzer, S
|
| author_facet |
Kreutzer, S
|
| author_sort |
Kreutzer, S
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T00:52:39Z
|
| format |
Conference item
|
| id |
oxford-uuid:86eaa020-8044-475b-ac0d-620d80bc05ec
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T00:52:39Z
|
| publishDate |
2001
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:86eaa020-8044-475b-ac0d-620d80bc05ec2022-03-26T22:07:21ZOperational Semantics for Fixed−Point Logics on Constraint DatabasesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:86eaa020-8044-475b-ac0d-620d80bc05ecDepartment of Computer ScienceSpringer2001Kreutzer, S
|
| spellingShingle |
Kreutzer, S
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title |
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title_full |
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title_fullStr |
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title_full_unstemmed |
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title_short |
Operational Semantics for Fixed−Point Logics on Constraint Databases
|
| title_sort |
operational semantics for fixed point logics on constraint databases
|
| work_keys_str_mv |
AT kreutzers operationalsemanticsforfixedpointlogicsonconstraintdatabases
|