| _version_ |
1797061886439587840
|
| author |
́Pavlovic, D
|
| author_facet |
́Pavlovic, D
|
| author_sort |
́Pavlovic, D
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-06T20:37:35Z
|
| format |
Report
|
| id |
oxford-uuid:3324bbe9-8ce8-40f4-9ba5-0fc3093f2f23
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-06T20:37:35Z
|
| publishDate |
1998
|
| publisher |
Kestrel Institute
|
| record_format |
dspace
|
| spelling |
oxford-uuid:3324bbe9-8ce8-40f4-9ba5-0fc3093f2f232022-03-26T13:18:34ZTowards semantics of guarded inductionReporthttp://purl.org/coar/resource_type/c_93fcuuid:3324bbe9-8ce8-40f4-9ba5-0fc3093f2f23Department of Computer ScienceKestrel Institute1998́Pavlovic, D
|
| spellingShingle |
́Pavlovic, D
Towards semantics of guarded induction
|
| title |
Towards semantics of guarded induction
|
| title_full |
Towards semantics of guarded induction
|
| title_fullStr |
Towards semantics of guarded induction
|
| title_full_unstemmed |
Towards semantics of guarded induction
|
| title_short |
Towards semantics of guarded induction
|
| title_sort |
towards semantics of guarded induction
|
| work_keys_str_mv |
AT pavlovicd towardssemanticsofguardedinduction
|