Second Order Logic and the Weak Exponential Hierarchies
| Main Authors: | , , |
|---|---|
| Formato: | Conference item |
| Publicado: |
Springer
1995
|
| _version_ | 1826290163487080448 |
|---|---|
| author | Gottlob, G Leone, N Veith, H |
| author_facet | Gottlob, G Leone, N Veith, H |
| author_sort | Gottlob, G |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:39:59Z |
| format | Conference item |
| id | oxford-uuid:aa18a40d-723a-47a1-a0d7-b1a1a85659d7 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:39:59Z |
| publishDate | 1995 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:aa18a40d-723a-47a1-a0d7-b1a1a85659d72022-03-27T03:12:59ZSecond Order Logic and the Weak Exponential HierarchiesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:aa18a40d-723a-47a1-a0d7-b1a1a85659d7Department of Computer ScienceSpringer1995Gottlob, GLeone, NVeith, H |
| spellingShingle | Gottlob, G Leone, N Veith, H Second Order Logic and the Weak Exponential Hierarchies |
| title | Second Order Logic and the Weak Exponential Hierarchies |
| title_full | Second Order Logic and the Weak Exponential Hierarchies |
| title_fullStr | Second Order Logic and the Weak Exponential Hierarchies |
| title_full_unstemmed | Second Order Logic and the Weak Exponential Hierarchies |
| title_short | Second Order Logic and the Weak Exponential Hierarchies |
| title_sort | second order logic and the weak exponential hierarchies |
| work_keys_str_mv | AT gottlobg secondorderlogicandtheweakexponentialhierarchies AT leonen secondorderlogicandtheweakexponentialhierarchies AT veithh secondorderlogicandtheweakexponentialhierarchies |