ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS
| 主要な著者: | , |
|---|---|
| フォーマット: | Journal article |
| 出版事項: |
2007
|
| _version_ | 1826302110799495168 |
|---|---|
| author | Ouaknine, J Worrell, J |
| author_facet | Ouaknine, J Worrell, J |
| author_sort | Ouaknine, J |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T05:42:33Z |
| format | Journal article |
| id | oxford-uuid:e611fdc6-5d1e-44e6-9c89-19d6804f66d4 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T05:42:33Z |
| publishDate | 2007 |
| record_format | dspace |
| spelling | oxford-uuid:e611fdc6-5d1e-44e6-9c89-19d6804f66d42022-03-27T10:28:38ZON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDSJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:e611fdc6-5d1e-44e6-9c89-19d6804f66d4Symplectic Elements at Oxford2007Ouaknine, JWorrell, J |
| spellingShingle | Ouaknine, J Worrell, J ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title | ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title_full | ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title_fullStr | ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title_full_unstemmed | ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title_short | ON THE DECIDABILITY AND COMPLEXITY OF METRIC TEMPORAL LOGIC OVER FINITE WORDS |
| title_sort | on the decidability and complexity of metric temporal logic over finite words |
| work_keys_str_mv | AT ouakninej onthedecidabilityandcomplexityofmetrictemporallogicoverfinitewords AT worrellj onthedecidabilityandcomplexityofmetrictemporallogicoverfinitewords |