On closure ordinals for the modal mu−calculus
| Үндсэн зохиолчид: | , |
|---|---|
| Формат: | Conference item |
| Хэвлэсэн: |
Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik
2013
|
| _version_ | 1826261342447730688 |
|---|---|
| author | Afshari, B Leigh, G |
| author_facet | Afshari, B Leigh, G |
| author_sort | Afshari, B |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T19:19:53Z |
| format | Conference item |
| id | oxford-uuid:19b3ef9d-974f-40ef-a312-72c74c4f7cc9 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T19:19:53Z |
| publishDate | 2013 |
| publisher | Schloss Dagstuhl–Leibniz−Zentrum fuer Informatik |
| record_format | dspace |
| spelling | oxford-uuid:19b3ef9d-974f-40ef-a312-72c74c4f7cc92022-03-26T10:50:28ZOn closure ordinals for the modal mu−calculusConference itemhttp://purl.org/coar/resource_type/c_5794uuid:19b3ef9d-974f-40ef-a312-72c74c4f7cc9Department of Computer ScienceSchloss Dagstuhl–Leibniz−Zentrum fuer Informatik2013Afshari, BLeigh, G |
| spellingShingle | Afshari, B Leigh, G On closure ordinals for the modal mu−calculus |
| title | On closure ordinals for the modal mu−calculus |
| title_full | On closure ordinals for the modal mu−calculus |
| title_fullStr | On closure ordinals for the modal mu−calculus |
| title_full_unstemmed | On closure ordinals for the modal mu−calculus |
| title_short | On closure ordinals for the modal mu−calculus |
| title_sort | on closure ordinals for the modal mu calculus |
| work_keys_str_mv | AT afsharib onclosureordinalsforthemodalmucalculus AT leighg onclosureordinalsforthemodalmucalculus |