Existential Second−Order Logic over Strings
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
1998
|
| _version_ | 1826295578510753792 |
|---|---|
| author | Eiter, T Gottlob, G Gurevich, Y |
| author_facet | Eiter, T Gottlob, G Gurevich, Y |
| author_sort | Eiter, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:03:12Z |
| format | Conference item |
| id | oxford-uuid:c549ccfb-da6a-4524-9fe9-1ea79bcc0d3c |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:03:12Z |
| publishDate | 1998 |
| record_format | dspace |
| spelling | oxford-uuid:c549ccfb-da6a-4524-9fe9-1ea79bcc0d3c2022-03-27T06:29:41ZExistential Second−Order Logic over StringsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c549ccfb-da6a-4524-9fe9-1ea79bcc0d3cDepartment of Computer Science1998Eiter, TGottlob, GGurevich, Y |
| spellingShingle | Eiter, T Gottlob, G Gurevich, Y Existential Second−Order Logic over Strings |
| title | Existential Second−Order Logic over Strings |
| title_full | Existential Second−Order Logic over Strings |
| title_fullStr | Existential Second−Order Logic over Strings |
| title_full_unstemmed | Existential Second−Order Logic over Strings |
| title_short | Existential Second−Order Logic over Strings |
| title_sort | existential second order logic over strings |
| work_keys_str_mv | AT eitert existentialsecondorderlogicoverstrings AT gottlobg existentialsecondorderlogicoverstrings AT gurevichy existentialsecondorderlogicoverstrings |